A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
<DIV></DIV><BR>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.