Cărți Fundatiile matematicii: 2 titluri

Understanding Petri Nets

Wolfgang Reisig

Universal Algebraic Logic

Hajnal Andréka