TY  - GEN
AU  - Smullayan, Raymond M
TI  - First - order logic
PY  - 1968///
CY  - Berlin
PB  - Springer-Verlag
N1  - Contine bibliogr. si index
ER  -