TY  - BOOK
AU  - Hedman,Shawn
TI  - A first course in logic: an introduction to model theory, proof theory, computability, and complexity 
SN  - 0198529805
PY  - 2004///
CY  - New York
PB  - Oxford University Press
KW  - Logic
KW  - Logic, Symbolic and mathematical
ER  -