TY  - BOOK
AU  - Scheurer Thierry
TI  - Foundation of computing : system development with set theory and logic
U1  - 005.1 
PY  - 1994///
CY  - Wokingham
PB  - Addison Wesley
KW  - Computer programming
KW  - Set theory
ER  -