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///
CY  - New York
PB  - Oxford University Press
KW  - Logic
ER  -