TY  - BOOK
AU  - Hedman, Shawn
TI  - A First Course In Logic: An Introduction To Model Theory, Proof Theory, Computability, And Complexity
SN  - 9780198529811
U1  - 160 
PY  - 2004///
PB  - Oup
KW  - Mathematics
ER  -