TY  - BOOK
AU  - SCHEURER Thierry
TI  - Foundations of computing: system development with set theory and logic
SN  - 0201544296 (pbk)
PY  - 1994///
CY  - 
PB  - Addison-Wesley Pubs Co
ER  -