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...more
Published June 1st 2007 by Oxford University Press, USA
(first published May 17th 2007)
To see what your friends thought of this book, please sign up.
(showing 1-24 of 24)