Smullyan, Raymond M. First-order logic. (English) Zbl 0172.28901 Ergebnisse der Mathematik und ihrer Grenzgebiete. Band 43. Berlin-Heidelberg-New York: Springer-Verlag. xii, 158 p. (1968). Reviewer: A. Nakamura Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 ReviewsCited in 256 Documents MSC: 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations Keywords:first-order logic PDF BibTeX XML OpenURL