A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)

A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)

Raymond M. Smullyan


Written through an inventive grasp of mathematical common sense, this introductory textual content combines tales of serious philosophers, quotations, and riddles with the basics of mathematical good judgment. writer Raymond Smullyan bargains transparent, incremental shows of inauspicious common sense recommendations. He highlights every one topic with creative reasons and specific problems.
Smullyan's available narrative offers memorable examples of recommendations regarding proofs, propositional good judgment and first-order good judgment, incompleteness theorems, and incompleteness proofs. extra themes comprise undecidability, combinatoric good judgment, and recursion idea. compatible for undergraduate and graduate classes, this publication also will amuse and enlighten mathematically minded readers. 2014 variation.

Show sample text content

Download sample