Vor Ort
Merkzettel Warenkorb
  • Mathematical Logic
  • Mathematical Logic
Band 9

Mathematical Logic An Introduction to Model Theory

Aus der Reihe Mathematical Concepts and Methods in Science and Engineering Band 9

107,99 €

inkl. MwSt, Versandkostenfrei

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

27.12.2012

Verlag

Springer Us

Seitenzahl

338

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

Softcover reprint of the original 1st edition 1978

Sprache

Englisch

ISBN

978-1-4615-8752-1

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

27.12.2012

Verlag

Springer Us

Seitenzahl

338

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

Softcover reprint of the original 1st edition 1978

Sprache

Englisch

ISBN

978-1-4615-8752-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Weitere Bände von Mathematical Concepts and Methods in Science and Engineering

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen filtern
  • Mathematical Logic
  • Mathematical Logic
  • I. Statement Systems and Propositional Calculus.- 1. Statement Systems.- 1.1. Statement Systems.- 1.2. Language of a Statement System.- 1.3. Names for Swffs.- 2. Propositional Calculus.- 2.1. Well-Formed Formulas.- 2.2. Parentheses.- 2.3. Main Connective of Wffs.- 2.4. Names for Wffs; Principal Connective of Name.- 2.5. Valuations.- 3. Provable Wffs.- 3.1. ?-Interpreters.- 3.2. True Wffs.- 3.3. Proofs and Provable Wffs.- 3.4. Rules of Inference.- 3.5. Equivalent Wffs.- 4. Substitution Theorems.- 4.1. Subwffs, Components, and Wff-Builders.- 4.2. Substitution Theorem for Wffs.- 5. Duality.- 5.1. Normal Form.- 5.2. Syntactical Transforms.- 5.3. Normal Transforms.- 5.4. Duality.- 6. Deducibility and Completeness.- 6.1. More Provable Wffs.- 6.2. Conjunctive Normal Form.- 6.3. Completeness.- 6.4. Deducibility.- 6.5. Consistent Sets and Contradictory Sets.- 6.6. Maximal-Consistent Sets.- 6.7. Strong Completeness Theorem.- II. Semantical Systems and Predicate Calculus.- 7. Semantical Systems.- 7.1. Relational Systems.- 7.2. Semantical Systems.- 7.3. Language of a Semantical System.- 7.4. Extensions; Elementary Extensions.- 8. Predicate Calculus.- 8.1. Well-Formed Formulas.- 8.2. Parentheses.- 8.3. Main Connective of Wffs.- 8.4. Names for Wffs; Principal Connective of Name.- 8.5. Syntactical Transforms.- 8.6. Interchange and Substitution Transforms.- 8.7. Valuations.- 9. Provable Wffs.- 9.1. ?-Interpreters.- 9.2. True Wffs.- 9.3. Proofs and Provable Wffs.- 9.4. Equivalent Wffs.- 9.5. Rules of Inference.- 9.6. A Fact about the Interchange Transform.- 10. Substitution Theorems.- 10.1. Subwffs, Components, and Wff-Builders.- 10.2. Substitution Theorem for Wffs.- 11. Duality.- 11.1. Normal Form.- 11.2. Normal Transforms.- 11.3. Duality.- 11.4. Prenex Normal Form.- 12. Deducibility and Completeness.- 12.1. Deducibility.- 12.2. Consistent Sets and Contradictory Sets.- 12.3. Strong Completeness Theorem.- 12.4. Maximal-Consistent Sets.- 12.5. ?-Complete Sets.- 12.6. Proof of the Strong Completeness Theorem.- III. Applications.- 13. Nonstandard Analysis.- 13.1. Extended Natural Number System.- 13.2. Extended Real Number System.- 13.3. Properties of ?.- 13.4. Paradoxes.- 13.5. The Limit Concept.- 13.6. Continuity; Uniform Continuity.- 13.7. Principles of Permanence.- 14. Normal Semantical Systems.- 14.1. Equality Relations.- 14.2. Normal Semantical Systems.- 14.3. Löwenheim-Skolem Theorem.- 14.4. Theories.- 15. Axiomatic Set Theory.- 15.1. Introduction.- 15.2. Axiom of Extensionality.- 15.3. Axiom Scheme of Replacement.- 15.4. Axiom of Power Set.- 15.5. Axiom of Sum Set.- 15.6. Axiom of Infinity.- 15.7. Nonstandard Set Theory.- 15.8. Axiom of Regularity.- 15.9. Axiom of Choice.- 16. Complete Theories.- 16.1. Vaught’s Test.- 16.2. Diagrammatic Sets.- 16.3. Simplifying the Concept of a Model.- 16.4. Robinson’s Test.- Symbol Index.