TY  - BOOK
AU  - Smullyan, Raymond M
TI  - First-Order Logic
SN  - 0486481506
PY  - 1995///
CY  -  New York
PB  - Dover
ER  -