ENGLISH

Introduction to Mathematical Logic

By Mendelson , Elliott

Book information

Publisher
Chapman and Hall/CRC
Year
2010
ISBN
1584888768, 9781584888765
Language
english
Format
PDF
Filesize
3 MB (3090260 bytes)
Series
Discrete Mathematics and Its Applications
Edition
5
Pages
469\496
Topic
Mathematics Logic
Time added
2014-05-22 12:04:07
Математика;Математическая логика

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 Gödel, Church, Kleene, Rosser, and Turing. New to the Fifth Edition A new section covering basic ideas and results about nonstandard models of number theory A second appendix that introduces modal propositional logic An expanded bibliography Additional exercises and selected answers This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic.

Similar books