TY  - BOOK
AU  - Scheurer, thierry
TI  - Foundations of computing : system development with set theory and logic
SN  - 0201544296
U1  - 004.21 SCH 
PY  - 1994///
CY  - New York
PB  - Addison-Wisley publishing Company
KW  - System design
KW  - General
ER  -