@book{UBHD-1042003, author={Smullyan, Raymond M.}, title={First-order logic}, publisher={Springer}, address={Berlin ; Heidelberg ; New York}, year={1968}, pages={XII, 158 S.}, language={eng}, number={ARRAY(0x56238ef14498)}, series={Ergebnisse der Mathematik und ihrer Grenzgebiete}, note={Literaturverz. S. [156]}, keywords={Quantifizierung ; Mathematische Logik ; Pr{\"a}dikatenlogik ; Logik / Stufe 1}, library={UB [Signatur: 68 B 2781] ; MA [Signatur: Smull]}, }