TY  - BOOK
AU  - Scheurer, Thierry
TI  - Foundations of Computing: System Development With Set Theory and Logic
SN  - 201544296
U1  - 004.21 SCH 
PY  - 1994///
CY  - Wokingham
PB  - Addison-Wily Publishing Company
KW  - Computer Science
KW  - Computer science, information & general works
N1  - Includes Index
ER  -