Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Revised English translation by Ann S. Ferebee of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1984, ix + 216 pp. - Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Second edition. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1986, ix + 308 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Second edition. Revised English translation by Ann S. Ferebee and Margit Meßmer of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, x + 289 pp [Book Review]

Journal of Symbolic Logic 60 (3):1013-1014 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275773

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ebbinghaus Heinz-Dieter and Jörg Flum. Finite model theory. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1995, xv + 327 pp. [REVIEW]G. L. McColm - 1996 - Journal of Symbolic Logic 61 (3):1049-1050.
Review: H.-D. Ebbinghaus, J. Flum, W. Thomas, Jorg Flum, W. Thomas, Ann S. Ferebee, Margit Mebmer, Mathematical logic. [REVIEW]Steffen Lemp - 1995 - Journal of Symbolic Logic 60 (3):1013-1014.
Einfuhrung in die mathematische Logik, 3.H. -D. Ebbinghaus, J. Flum & W. Thomas - 1994 - Studia Logica 53 (3):459-459.
Review: Heinz-Dieter Ebbinghaus, Jorg Flum, Finite Model Theory. [REVIEW]G. L. McColm - 1996 - Journal of Symbolic Logic 61 (3):1049-1050.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2001 - Studia Logica 69 (3):449-449.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Torg Flum - 1997 - Studia Logica 58 (2):332-335.
Lorenzen Paul. Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Heidelberg-New York 1969, VIII + 298 pp. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (2):330-330.
Devlin Keith. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp. [REVIEW]H. B. Enderton - 1994 - Journal of Symbolic Logic 59 (4):1441-1442.
Yiannis N. Moschovakis. Notes on set theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, xiv + 272 pp. [REVIEW]Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (4):1493-1494.
Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
Malitz Jerome. Introduction to mathematical logic. Set theory, computable functions, model theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xii + 198 pp. [REVIEW]P. Eklof - 1984 - Journal of Symbolic Logic 49 (2):672-673.
Klug Ulrich. Juristische Logik. Second, revised edition of XVII 274. Springer-Verlag, Berlin-Göttingen-Heidelberg 1958, VIII + 164 pp. [REVIEW]Gert Heinz Müller - 1959 - Journal of Symbolic Logic 24 (1):87-87.
R. G. Downey and M. R. Fellows. Parameterized complexity. Monographs in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xv + 533 pp. [REVIEW]Jörg Flum - 2002 - Bulletin of Symbolic Logic 8 (4):528-529.
Klug Ulrich. Juristische Logik. Third, expanded and revised, edition of XVII 274. Springer-Verlag, Berlin, Heidelberg, and New York, 1966, XV + 191 pp. [REVIEW]Gert H. Müller - 1971 - Journal of Symbolic Logic 36 (3):545-545.
Lorenzen Paul. Einführung in die operative Logik und Mathematik. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Göttingen-Heidelberg 1955, VII + 298 pp. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.

Analytics

Added to PP
2014-04-02

Downloads
51 (#298,901)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references