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