Mathematical logic

by Ebbinghaus, Heinz-Dieter

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.

Edition Statements

Publication Date:©1994.
Edition:2nd ed

Publication Statements

Publisher(s):Springer-Verlag
Place of Publication:New York
Language:eng
Publication Date:©1994.

The Physical Object

Description:x, 289 pages : : illustrations ; : 25 cm.

Edition Identifiers

ISBN:0387942580, 9780387942582, 3540942580, 9783540942580
oclc:ocm29667924
LC Classification:QA9
Dewey Decimal:511.3

Part A: -- I. Introduction -- II. Syntax of first-order languages -- III. Semantics of first-order languages -- IV. A sequent calculus -- V. The completeness theorem -- VI. The Löwenheim-Skolem and the compactness theorem -- VII. The scope of first-order logic -- VIII. Syntactic interpretations and normal forms -- Part B: -- 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. Lindström's theorems.