TY  - BOOK
AU  - Shoenfield Joseph R.
TI  - Mathematical Logic
U1  - B:R1, K7 
PY  - 1967///
KW  - Logic
ER  -