TY  - BOOK
AU  - Shoenfield, Joseph R
TI  - Mathematical logic
N1  - B31 K73
ER  -