TY  - BOOK
AU  - Shoenfield, Joseph R
TI  - Mathematical logic
CY  - London
KW  - Mathematical application
ER  -