A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
Not Available / Digital Item
A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2013 edition.