Foundations of computing : system development with set theory and logic

Thierry Scheurer
Bok · Engelsk · 1994

Utgitt	Wokingham : Addison-Wesley , 1994
Omfang	XXIV, 668 s. : fig.
Emner	Logic, Symbolic and mathematical Set theory System design Programutvikling
ISBN	0201544296