Journals Higher Education
Important OUP's Response to COVID-19 Learn more
Important Distribution center temporarily closed: delays to orders expected Read more



This item is out of stock. It can be ordered now for delivery when back in stock.

Notify Me When In Stock

Published: 09 September 2004

452 Pages | line illus.

ISBN: 9780198529811

Also Available As:


Bookseller Code (06)

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

Also of Interest