First-order logic.
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete, Bd. 43; Ergebnisse der Mathematik und ihrer Grenzgebiete, n.F., Bd. 43
Publisher: Springer-Verlag
Published: 1968
Place of publication: Berlin
Language: eng
Number of pages: 158
Subjects: Logic, Symbolic and mathematical
Notes: Bibliography: p. [156]