TY - BOOK AU - Scheurer,Thierry TI - FOUNDATIONS OF COMPUTING SN - 0201544296 U1 - 004.21 PY - 1994/// CY - PB - Addison-Wesley, Reading,Mass. KW - System Design KW - Set Theory KW - Logic,Symbolic And Mathematical N1 - Includes Bibliographical References And Index ER -