Mathematical Logic

by Ian Chiswell and Wilfrid Hodges

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn...

• Format: Hardcover
• Language: English
• ISBN: 0199215626
• ISBN13: 9780199215621
• Release Date: July 2007
• Publisher: Oxford University Press, USA
• Length: 296 Pages
• Weight: 0.95 lbs.
• Dimensions: 0.5" x 6.6" x 9.5"