TY  - GEN
AU  - Hedman, Shawn.               
TI  - A first course in logic: an introduction to model theory, proof theory, computability, and complexity 
SN  - 0198529805
U1  - 160 
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  -