Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

• Mathematical Logic (Dover Books on Mathematics)
• First-Order Logic (Dover Books on Mathematics)
• A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
• Logic: A Very Short Introduction (Very Short Introductions)
• Introduction to Mathematical Philosophy
• An Introduction to Symbolic Logic, 3rd Edition
• Introduction to Symbolic Logic and Its Applications
• Book of Proof
• Number Theory (Dover Books on Mathematics)
• On Formally Undecidable Propositions of Principia Mathematica and Related Systems