TY  - BOOK
AU  - Hinman Peter G
TI  - Fundamentals of mathematical logic
SN  - 978-1-56881-262-0
U1  - 511.3 
PY  - 2005///
CY  - Wellesley
PB  - A K Peters
KW  - Mathematical logic
KW  - Model theory
KW  - Recursion theory
KW  - Set theory
KW  - Symbolic logic
ER  -