Mathematical logic /

Mathematical logic /

Saved in:

Bibliographic Details
Author / Creator:	Ebbinghaus, Heinz-Dieter, 1939-
Uniform title:	Einführung in die mathematisch Logik. English
Edition:	2nd ed.
Imprint:	New York : Springer-Verlag, c1994.
Description:	x, 289 p. : ill. ; 25 cm.
Language:	English
Series:	Undergraduate texts in mathematics
Subject:	Logic, Symbolic and mathematical. Logic, Symbolic and mathematical.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/2373899

Hidden Bibliographic Details
Other authors / contributors:	Flum, Jörg. Thomas, Wolfgang, 1947-
ISBN:	0387942580 (New York : acid-free paper) 3540942580 (Berlin : acid-free paper)
Notes:	Includes bibliographical references (p. [277]-279) and indexes.

Table of Contents:

Preface
Part A.
1. Introduction
2. Syntax of First-Order Languages
3. Semantics of first-Order Languages
4. A Sequent Calculus
5. The Completeness Theorem
6. The Lowenheim-Skolem and the Compactness Theorem
7. The Scope of First-Order Logic
8. Syntactic Interpretations and Normal Forms
Part B.
9. Extensions of First-Order Logic
10. Limitations of the Formal Method
11. Free Models and Logic Programming
12. An Algebraic Characterization of Elementary Equivalence
13. Lindstroem's Theorems
References
Symbol Index
Subject Index