عنوان

Introduction to mathematical logic

شابک

1482237784

شابک

1482237792

شابک

1482237806

شابک

9781482237788

شابک

9781482237795

شابک

9781482237801

شماره

b555041

عنوان اصلي

Introduction to mathematical logic

نام عام مواد

[Book]

نام نخستين پديدآور

Elliott Mendelson.

وضعيت ويراست

Sixth edition

محل نشرو پخش و غیره

Boca Raton

نام ناشر، پخش کننده و غيره

Chapman & Hall/CRC

تاریخ نشرو بخش و غیره

2015

نام خاص و کميت اثر

: illustrations (black and white).

عنوان فروست

Discrete mathematics and its applications

متن يادداشت

Previous edition: London: Chapman & Hall, 2010.

متن يادداشت

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.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Elliott Mendelson.

مستند نام اشخاص تاييد نشده

Elliott Mendelson

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y