Journals Higher Education



Published: 16 September 2004

452 Pages | line illus.

ISBN: 9780198529804

Also Available As:


Library Recommendation Form

Bookseller Code (08)

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