TY  - BOOK
AU  - Smullyan Raymond M
TI  - First-order logic
U1  - R14, K8 
PY  - 1968///
CY  - New York  
PB  -  Springer-Verlag      
ER  -