Scheurer, Thierry
Foundtions of computing : system development with set theory and logic / Thierry Scheurer. - Wokingham : Addison-Wesley, c1994. - xxiv, 668 p. : ill. - International computing science series .
Includes references and index
System design
Logic, Symbolic and mathematical
Set theory
Foundtions of computing : system development with set theory and logic / Thierry Scheurer. - Wokingham : Addison-Wesley, c1994. - xxiv, 668 p. : ill. - International computing science series .
Includes references and index
System design
Logic, Symbolic and mathematical
Set theory