Opening book details…
Can I read Mathematical logic on EtoBox?
Mathematical logic by Ebbinghaus, Heinz-Dieter, 1939- is a mathematics available to read on EtoBox.
What is Mathematical logic about?
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindström's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two
Who reads Mathematical logic?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Ebbinghaus, Heinz-Dieter, 1939-
- Publisher
- Springer-Verlag, c1984.
- Published
- 1984
- Language
- EN
- ISBN
- 9780387908953
- Category
- mathematics
- Subjects
- Mathematics, Stem
- Updated
- 2026-03-25
More by Ebbinghaus, Heinz-Dieter, 1939-
Browse all works by Ebbinghaus, Heinz-Dieter, 1939-
Similar books
- The Development of Mathematical Logic from Russell to Tarski, 1900–1935 — Paolo Mancosu; Richard Zach; Calixto Badesa (2009)
- Mathematical Logic — R.L Goodstein (1965)
- Introduction to the Study of Philosophy — Stuckenberg, J. H. W. 1835-1903. (1894)
- Russell's Mathematical Logic — Kurt Gödel (1984)
- Pulsed-current arc welding processes / J. J. Vagi, H. W. Mishler, and M. D. Randall. — J. Vagi (1970)
- Logic — Jevons, William Stanley, 1835-1882. (1890)