Foundations of computing : system development with set theory and logic /
Scheurer, Thierry.
Foundations of computing : system development with set theory and logic / Thierry Scheurer. - Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994. - xxiv, 668 p. : ill. ; 24 cm. - International computer science series .
Includes bibliographical references (p. 647-648) and index.
0201544296
94016315
System design.
Set theory.
Logic, Symbolic and mathematical.
QA76.9.S88 / S29 1994
004.2/1
Foundations of computing : system development with set theory and logic / Thierry Scheurer. - Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994. - xxiv, 668 p. : ill. ; 24 cm. - International computer science series .
Includes bibliographical references (p. 647-648) and index.
0201544296
94016315
System design.
Set theory.
Logic, Symbolic and mathematical.
QA76.9.S88 / S29 1994
004.2/1