Scan barcode
![Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz](https://rwszupzmsadbjqghhiwjxwntmpecjm.thestorygraph.com/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBOHBSb3c9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--a4e02135e5a84bcb125b10a3d2de2bbd53e45829/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Handbook%20of%20Logic%20and%20Proof%20Techniques%20for%20Computer%20Science.jpg)
245 pages • missing pub info (editions)
ISBN/UID: 9780817642204
Format: Hardcover
Language: English
Publisher: Birkhauser
Publication date: 17 January 2002
Description
Logic is, and should be, the core subject area of modern mathemat- ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conce...
Community Reviews
Content Warnings
![Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz](https://rwszupzmsadbjqghhiwjxwntmpecjm.thestorygraph.com/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBOHBSb3c9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--a4e02135e5a84bcb125b10a3d2de2bbd53e45829/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Handbook%20of%20Logic%20and%20Proof%20Techniques%20for%20Computer%20Science.jpg)
245 pages • missing pub info (editions)
ISBN/UID: 9780817642204
Format: Hardcover
Language: English
Publisher: Birkhauser
Publication date: 17 January 2002
Description
Logic is, and should be, the core subject area of modern mathemat- ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conce...