IFL (first edition)

An Introduction to Formal Logic was first published by Cambridge University Press in November 2003.

The headline news is that this is an initially very gentle-paced introduction to logic by trees, though it does get as far as a completeness proof for quantificational logic (included for enthusiasts).  Until I retired, it was the text book for the compulsory first-year logic course for Cambridge philosophers. Click on the thumbnail of its cover to go to the publisher’s page for the book. And from there you look at the table of contents and a short excerpt.

The book was reprinted in April 2009, and I took the opportunity not only to correct known typos but to make many small improvements to the content too. This version was reprinted another four times. Then in late 2013 I had the opportunity to make more corrections (this time just minor ones) for the seventh printing. The book has now been reprinted for the eighth time.

NB: A corrected reprint doesn’t count as a new edition (so it doesn’t have a new ISBN). Still, the early printings are long sold out, and the identical seventh/eighth printings should by now have propagated through the distribution systems of Amazon etc. You can tell which version you have in your hand by looking at the verso of the title page.

There following support materials are available: