عنوان

Introduction to mathematical logic

(Number (ISBN

1482237784

(Number (ISBN

1482237792

(Number (ISBN

1482237806

(Number (ISBN

9781482237788

(Number (ISBN

9781482237795

(Number (ISBN

9781482237801

Number

b555041

Title Proper

Introduction to mathematical logic

General Material Designation

[Book]

First Statement of Responsibility

Elliott Mendelson.

Edition Statement

Sixth edition

Place of Publication, Distribution, etc.

Boca Raton

Name of Publisher, Distributor, etc.

Chapman & Hall/CRC

Date of Publication, Distribution, etc.

2015

Specific Material Designation and Extent of Item

: illustrations (black and white).

Series Title

Discrete mathematics and its applications

Text of Note

Previous edition: London: Chapman & Hall, 2010.

Text of Note

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.

Logic, Symbolic and mathematical -- Problems, exercises, etc.

Logic, Symbolic and mathematical.

Class number

Book number

Elliott Mendelson.

Elliott Mendelson

Electronic name

[Book]

Y