Mathematical Logic

Inbunden, Engelska, 1994

Av H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas, H. -D Ebbinghaus, H. -D. Ebbinghaus

849 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs).

Produktinformation

Utgivningsdatum1994-06-10
Mått155 x 235 x 21 mm
Vikt596 g
FormatInbunden
SpråkEngelska
SerieUndergraduate Texts in Mathematics
Antal sidor291
Upplaga2
FörlagSpringer-Verlag New York Inc.
ISBN9780387942582

Tillhör följande kategorier

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.- 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.- References.- Symbol Index.