Mathematical Logic

Inbunden, Engelska, 1994

Del i serien Undergraduate Texts in Mathematics

644 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:1994-06-10
Mått:155 x 235 x 21 mm
Vikt:596 g
Format:Inbunden
Språk:Engelska
Serie:Undergraduate Texts in Mathematics
Antal sidor:291
Upplaga:2
Förlag:Springer-Verlag New York Inc.
ISBN:9780387942582

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Recensioner i media

"...the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level." - Journal of Symbolic Logic

Innehållsförteckning

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.