TY - BOOK AU - SCHEURER,THIERRY TI - THE FOUNDATIONS OF COMPUTING / U1 - 004.2 CY - [S.N] : PB - ADDISON - WESLEY PUBLISHING COMPANY KW - SYSTEM DESIGN KW - SET THEORY KW - LOGIC, SYMBOLIC ER -