TY  - BOOK
AU  - Smullyan,Raymond M.
TI  - First-order logic
U1  - 511.3  
PY  - 1968///
CY  - Berlin, New York [etc.]
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
N1  - Bibliography: p. [156]
ER  -