| Document Type
|
:
|
BL
|
| Record Number
|
:
|
735205
|
| Doc. No
|
:
|
b555041
|
| Main Entry
|
:
|
Elliott Mendelson.
|
| Title & Author
|
:
|
Introduction to mathematical logic\ Elliott Mendelson.
|
| Edition Statement
|
:
|
Sixth edition
|
| Publication Statement
|
:
|
Boca Raton: Chapman & Hall/CRC, 2015
|
| Series Statement
|
:
|
Discrete mathematics and its applications
|
| Page. NO
|
:
|
: illustrations (black and white).
|
| ISBN
|
:
|
1482237784
|
|
|
:
|
: 1482237792
|
|
|
:
|
: 1482237806
|
|
|
:
|
: 9781482237788
|
|
|
:
|
: 9781482237795
|
|
|
:
|
: 9781482237801
|
| Notes
|
:
|
Previous edition: London: Chapman & Hall, 2010.
|
| Contents
|
:
|
Preface; ; Introduction; ; 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; ; First-Order Logic and Model Theory ; Quantifiers; First-Order Languages and Their Interpretations: Satisfiability and Truth Models; 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 Function Letters and Individual Constants; Prenex Normal Forms; Isomorphism of Interpretations: Categoricity of Theories; Generalized First-Order Theories: Completeness and Decidability; Elementary Equivalence: Elementary Extensions; Ultrapowers: Nonstandard Analysis; Semantic Trees; Quantification Theory Allowing Empty. Theory; ; Answers to Selected Exercises; ; Bibliography; ; Notations; ; Index.
|
| Subject
|
:
|
Logic, Symbolic and mathematical -- Problems, exercises, etc.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| LC Classification
|
:
|
QA9.E455 2015
|
| Added Entry
|
:
|
Elliott Mendelson
|