TY  - BOOK
AU  - Hedman, Shawn
TI  - A first course in logic : an introduction to model theory, proof theory, computability, and complexity
SN  - 9780198529811 ; 9780198529804 
U1  - 160 HED 
PY  - 2004///
CY  - Oxford
PB  - Oxford University Press
KW  - Logic
ER  -