TY  - BOOK
AU  - Hinman,Peter G.
TI  - Fundamentals of mathematical logic
SN  - 1568812620
PY  - 2005///
CY  - Wellesley, MA
PB  - A K Peters
KW  - Logic, Symbolic and mathematical
KW  - Model theory
KW  - Set theory
KW  - Recursion theory
ER  -