TY  - BOOK
AU  - Shoenfield Joseph R
TI  - Mathematical logic
U1  - R14, K7  K7;1 
PY  - 2001///
KW  - I I C
ER  -