Author: | Raymond M. Smullyan | ISBN: | 9780486782973 |
Publisher: | Dover Publications | Publication: | March 19, 2014 |
Imprint: | Dover Publications | Language: | English |
Author: | Raymond M. Smullyan |
ISBN: | 9780486782973 |
Publisher: | Dover Publications |
Publication: | March 19, 2014 |
Imprint: | Dover Publications |
Language: | English |
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.
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.