TY - BOOK AU - Scheurer,Thierry TI - Foundations of computing: system development with set theory and logic SN - 0201544296 : U1 - 004.21 19 PY - 1994/// CY - Wokingham PB - Addison-Wesley Publishing Company KW - Computer science KW - Spines KW - Computer programming N1 - cse N2 - Computer Science ER -