Introduction to Mathematical Logic
Versandkostenfrei!
Nicht lieferbar
Table of contents:THE PROPOSITIONAL CALCULUS. Propositional Connectives. Truth Tables. Tautologies. .Adequate Sets of Connectives. An Axiom System for the Propositional Calculus. Independence: Many-Valued Logics. Other Axiomatizations. QUANTIFICATION THEORY. Quantifiers. First-Order Languages and Their Interpretations. First-Order Theories. Properties of First-Order Theories. Additional Metatheorems and Derived Rules. Rule C. Completeness Theorems. First-Order Theories with Equality. Definitions of NewThis established standard covers the basic topics for a first course in mathematical logic. I...
Table of contents:
THE PROPOSITIONAL CALCULUS. Propositional Connectives. Truth Tables. Tautologies. .Adequate Sets of Connectives. An Axiom System for the Propositional Calculus. Independence: Many-Valued Logics. Other Axiomatizations. QUANTIFICATION THEORY. Quantifiers. First-Order Languages and Their Interpretations. First-Order Theories. Properties of First-Order Theories. Additional Metatheorems and Derived Rules. Rule C. Completeness Theorems. First-Order Theories with Equality. Definitions of New
This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has added an extensive appendix on second-order logic, a section on set theory with urelements, and a section on the logic that results when we allow models with empty domains.
THE PROPOSITIONAL CALCULUS. Propositional Connectives. Truth Tables. Tautologies. .Adequate Sets of Connectives. An Axiom System for the Propositional Calculus. Independence: Many-Valued Logics. Other Axiomatizations. QUANTIFICATION THEORY. Quantifiers. First-Order Languages and Their Interpretations. First-Order Theories. Properties of First-Order Theories. Additional Metatheorems and Derived Rules. Rule C. Completeness Theorems. First-Order Theories with Equality. Definitions of New
This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has added an extensive appendix on second-order logic, a section on set theory with urelements, and a section on the logic that results when we allow models with empty domains.