TY  - BOOK
AU  - Shoenfield, Joseph R.
TI  - Mathematical logic
SN  - 1568811357
U1  - 511.3 
PY  - 2010///
CY  - New York: 
PB  - Taylor & Francis Group, 
KW  - Axiom systems
KW  - Logical axioms
KW  - Math
KW  - Mathematical logic
ER  -