TY  - BOOK
AU  -  Scheurer , Thierry 
TI  - Foundation of Computing :system developmenting with set theory and logic 
SN  - 0-201-54429-6
PY  - 1994///
CY  - Wokingham 
KW  - Computer Science
KW  - Computer science, information & general works
ER  -