## Mathematical LogicThis junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. |

### What people are saying - Write a review

### Related books

Einführung in die mathematische Logik Heinz-Dieter Ebbinghaus,Jörg Flum,Wolfgang Thomas Snippet view - 1992 |

### References to this book

Handbook of Formal Languages: Beyond words Grzegorz Rozenberg,Arto Salomaa No preview available - 1997 |

### References from web pages

Structure (mathematical logic) - Wikipedia, the free encyclopedia

Structure (mathematical logic) ..... A Course in Model Theory: An Introduction to Contemporary Mathematical Logic, Berlin, New York: Springer-Verlag, ...

en.wikipedia.org/ wiki/ Structure_(mathematical_logic)

Ebbinghaus, Flum, Thomas. Mathematical Logic.

Chapter 1: Introduction--provides motivational text (distinguishing between traditional philosophical logic and mathematical logic) and motivational ...

mathgate.info/ cebrown/ notes/ ebbinghaus.php

JSTOR: Mathematical Logic

It broadly follows the lines that are taken by the majority of mathematical logic text books as regards choice of topics, notation, definitions, ...

links.jstor.org/ sici?sici=0025-5572(198506)2%3A69%3A448%3C147%3AML%3E2.0.CO%3B2-Z

Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic (ISBN 0 **...**

Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic (ISBN 0-387-90895-1)(Springer, 1984)(L)(T)(113s).djvu. Size 2.1Mb Date Sep 17, 2004 ...

www.eknigu.org/ info/ M_Mathematics/ MA_Algebra/ MAml_Mathematical%20logic/ Ebbinghaus%20H.-D.,%20Flum%20J.,%20Thomas%20W...

Basic Library List-Foundations and Mathematical Logic

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof New York, NY: Academic Press, 1986. ...

www.maa.org/ BLL/ foundations.htm

CIDEC Library: Ebbinghaus * Mathematical Logic

MATHEMATICAL LOGIC 2nd ed. Uniform Title: Einführung in die mathematisch Logik. English Translated from the German by Ferebee, as ...

cs.ioc.ee/ yik/ lib/ 1/ Ebbinghaus2.html

MATHEMATICAL STRUCTURES RESEARCH

"Axioms for Abstract Model Theory",Annals of Mathematical Logic 7(1974) 221-265. ... Mathematical Logic. Springer-Verlag 1984. Ebbinghaus and Flum. ...

www.mmsysgrp.com/ mathstrc.htm

FINITE MODEL THEORY (Perspectives in Mathematical Logic) By Heinz **...**

FINITE MODEL THEORY (Perspectives in Mathematical Logic) By Heinz-Dieter Ebbinghaus and Jorg Flum: 327 pp., DM. 148.–, ISBN 3 540 60149 X (Springer, 1995). ...

journals.cambridge.org/ abstract_S0024609396222416

Abstract Math: Mathematical Reasoning

Mathematical logic (or proof theory) is a branch of mathematics that uses mathematical ... Mathematical logic is quite technical but very powerful; ...

www.abstractmath.org/ MM/ MMMathReasoning.htm

18.511: Mathematical Logic

Description, This course provides an introduction to mathematical logic. ... Text, Mathematical Logic, by Ebbinghaus, Flum, and Thomas (Springer 1994) ...

www-math.mit.edu/ ~rosen/ 18.511/