A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman.

Bibliographic Details

Main Author:	Hedman, Shawn
Language:	English
Published:	Oxford ; New York : Oxford University Press, 2004.
Series:	Oxford texts in logic ; 1.
Subjects:	Logic. Logic, Symbolic and mathematical.
Online Access:	Connect to: Table of contents only - All users (Cataloging @ Library of Congress)
Local Note:	MSU: Gift of Jacob Plotkin
Physical Description:	xx, 431 pages : illustrations ; 25 cm.
Format:	Book