TY  - BOOK
AU  - Scheurer,Thierry
TI  - Foundtions of computing: system development with set theory and logic 
PY  - 1994///
CY  - Wokingham
PB  - Addison-Wesley
KW  - System design
KW  - Logic, Symbolic and mathematical
KW  - Set theory
N1  - Includes references and index
ER  -