Ebook: Introduction to mathematical logic
Author: Mendelson Elliott
- Tags: Logic Symbolic and mathematical., Mathematische Logik.
- Series: Discrete mathematics and its applications
- Year: 2011
- Publisher: Chapman and Hall/CRC
- Edition: Fifth edition
- Language: English
- pdf
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