FOUNDATIONS OF COMPUTING - Scheurer,Thierry (Addison-Wesley, Reading,Mass., 1994)
Includes Bibliographical References And Index
Keywords: System Design; Set Theory; Logic,Symbolic And Mathematical