ENGLISH

Introduction to mathematical logic

By Mendelson , Elliott

Book information

Publisher
Chapman and Hall/CRC
Year
2011
ISBN
978-1-58488-876-5, 1-58488-876-8, 9781584888772, 1584888776
Language
english
Format
PDF
Filesize
3 MB (2850417 bytes)
Series
Discrete mathematics and its applications
Edition
Fifth edition
Pages
494\496
Time added
2019-04-14 09:00:00
LogicSymbolic and mathematical.;Mathematische Logik.

Description

Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of God̈el, Church, Kleene, Rosser, and Turing. Abstract: Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of God̈el, Church, Kleene, Rosser, and Turing Content: Chapter 1 The Propositional Calculus -- chapter 2 First-Order Logic and Model Theory -- chapter 3 Formal Number Theory -- chapter 4 Axiomatic Set Theory -- chapter 5 Computability.

Similar books