TY  - BOOK
AU  - Robison Gerson B
TI  - Introduction to mathematical logic
U1  - B:(RI), K9 
PY  - 1969///
CY  - NJ
PB  - Prentice-Hall          
ER  -