Ebook: Introduction to mathematical logic
Author: Mendelson Elliott
- Tags: Logic Symbolic and mathematical.
- Series: Discrete mathematics and its applications
- Year: 2015
- Publisher: CRC Press/Taylor & Francis Group
- Edition: Sixth edition
- Language: English
- pdf
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth 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 Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel'sRead more...
Abstract:
Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. ItRead more...
Download the book Introduction to mathematical logic for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)