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.
| ISBN: | 9780486782973 |
| Publication date: | 19th March 2014 |
| Author: | Smullyan, Raymond M. |
| Publisher: | Dover Publications |
| Format: | Ebook (Epub) |