Mathematical logic /
by Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang.
Material type:
BookSeries: Undergraduate texts in mathematics: Publisher: New York : Springer-Verlag, c1994Edition: 2nd ed.Description: x, 289 p. : ill. ; 25 cm.ISBN: 0387942580 (New York : acidfree paper); 3540942580 (Berlin : acidfree paper).Uniform titles: Einführung in die mathematische Logik. English.Subject(s): Logic, Symbolic and mathematical
Contents:
I. Introduction -- II. Syntax of First-Order Languages -- III. Semantics of First-Order Languages -- IV. A Sequent Calculus -- V. The Completeness Theorem -- VI. The Lowenheim-Skolem and the Compactness Theorem -- VII. The Scope of First-Order Logic -- VIII. Syntactic Interpretations and Normal Forms -- IX. Extensions of First-Order Logic -- X. Limitations of the Formal Method -- XI. Free Models and Logic Programming -- XII. An Algebraic Characterization of Elementary Equivalence -- XIII. Lindstrom's Theorems.
| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Dhaka University Science Library General Stacks | Non Fiction | 511.3 EBM (Browse shelf) | 1 | Available | 373963 |
Includes bibliographical references (p. [277]-279) and indexes.
I. Introduction -- II. Syntax of First-Order Languages -- III. Semantics of First-Order Languages -- IV. A Sequent Calculus -- V. The Completeness Theorem -- VI. The Lowenheim-Skolem and the Compactness Theorem -- VII. The Scope of First-Order Logic -- VIII. Syntactic Interpretations and Normal Forms -- IX. Extensions of First-Order Logic -- X. Limitations of the Formal Method -- XI. Free Models and Logic Programming -- XII. An Algebraic Characterization of Elementary Equivalence -- XIII. Lindstrom's Theorems.
There are no comments for this item.