Subject Area: CS Basics (Logics, Discrete Mathematics)
in CIDEC Library.

### MATHEMATICAL LOGIC

2nd ed

Uniform Title: Einführung in die mathematisch Logik. English

Translated from the German by Ferebee, A. S.
Heinz-Dieter **EBBINGHAUS**, 1939-

Jörg **FLUM**

Wolfgang **THOMAS**, 1947-.

Series: **Undergraduate texts in mathematics**

**Publisher : **
Springer-Verlag - Berlin ; New York

**Bibliographic : **

- Hardcover 485g (acid-free paper)
- ISBN: 3-540-94258-0
- © 1994
- x, 289 p. : ill. ; 25 cm.
- Dewey No.: 511.3 20

- Logic, Symbolic and mathematical.
- M13100 Logic,Foundations,Set Theory

**DESCRIPTION: **
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 basic
questions of the range of the axiomatic method and of theorem-proving by
machines. Many exercises accompany the text.

**CONTENTS: ** (of 1st ed)

Introduction.- Syntax of First-Order Languages.- Semantics of First-Order
Languages.- A Sequent Calculus.- The Completeness Theorem.- The
Löwenheim-Skolem Theorem and the Compactness Theorem.- The Scope of
First-Order Logic.- Appendix. - Extensions of First-Order Logic.-
Limitations of the Formal Method.- An Algebraic Characterization of
Elementary Equivalence.- Characterizing First-Order Logic.- References.-
Index of Notation.- Subject Index.

Includes bibliographical references (p. [277]-279) and indexes.

**BOOK CATEGORY: **Textbook, introductory

Changed 07/11/1996. Comments: monika@cs.ioc.ee