TY  - BOOK
AU  - Hedman,Shawn
TI  - A first course in logic: an introduction to model theory, proof theory, computability, and complexity 
SN  - 0198529805
AV  - QA9 .H36 2004
U1  - 160 22
PY  - 2004///
CY  - Oxford, New York
PB  - Oxford University Press
KW  - Logic
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. [426]-427) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0620/2004303637-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0620/2004303637-t.html
ER  -