TY  - BOOK
AU  - Hedman,Shawn
TI  - A first course in logic : an introduction to model theory, proof theory, computtability, and complexity / 
SN  - 0198529813
U1  - 160 
PY  - 2006///
CY  - Oxford : 
PB  - Oxford University Press , 
KW  - LOGIC
N1  - Includes bibliogrphy & index
ER  -