TY  - BOOK
AU  - Smullyan Raymond M
TI  - First order logic
T2  - Ergebnisse der mathematik und ihrer grenzgebiete; 43
U1  - R1, K82-;1 
PY  - 1958///
KW  - PHILOSOPHY
ER  -