All Formats & Editions
Computational Logic and Set Theory: Applying Fo...
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the tnaNova system, a prototype computer program designed to verify the...
Computational Logic and Set Theory: Applying Fo...
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the tnaNova system, a prototype computer program designed to verify the...
Computational Logic and Set Theory
An advanced, graduate-level text, surveying computational logic andset theory and its application to proof verification techniques. Bookdevelops all needed theory and provides a CD-ROM with a proof-verifierprogram to demonstrate concepts.Advanced CS students and researches will...
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
