TY  - DATA
AU  - Raymond R. Smullyan
TI  - First-Order Logic
SN  - 9783642867187
PY  - 1968///
PB  - Springer Berlin Heidelberg
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-3-642-86718-7
ER  -