TY  - BOOK
AU  - Scheurer, Thierry
TI  - Foundations of computing: system development with set theory and logic
T2  - International computer science series
SN  - 0201544296
PY  - 1994///
CY  - Wokingham
PB  - Addison-Wesley
KW  - Logic, Symbolic and mathematical
KW  - Set theory
KW  - System design
ER  -