Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 08 July 2004

452 Pages


ISBN: 9780198529811

Also Available As:


Also Available In:

Bookseller Code (AJ)

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Shawn Hedman

Oxford Texts in Logic

  • Extensive coverage of the basics of classical logic
  • Extremely clear, thorough and accurate
  • Ideal textbook for a first or refresher course
  • Contains numerous exercises
  • Aimed at a broad audience from students of computer science through mathematics, logic and philosophy