A Profile of Mathematical Logic (Dover Books on Mathematics)

Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its philosophical implications. No prior knowledge of logic is necessary; readers need only an acquaintance with high school mathematics. The author emphasizes understanding, rather than technique, and focuses on such topics as the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic after more than 2,000 years of traditional logic, the nature of the formal axiomatic method and the reasons for its use, and the main results of metatheory and their philosophic import. The treatment of the Gödel metatheorems is especially detailed and clear, and answers to the problems appear at the end.

• Gödel's Proof
• Gödel, Escher, Bach: An Eternal Golden Braid
• On Formally Undecidable Propositions of Principia Mathematica and Related Systems
• A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
• The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
• How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library)
• Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)
• Beginner's Further Guide To Mathematical Logic, A
• Introduction to Logic (Dover Books on Mathematics)
• Principles of Mathematical Logic