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 Goedel, Church, Kleene, Rosser, and Turing. The sixth edition
incorporates recent work on Goedel's second incompleteness theorem
as well as restoring an appendix on consistency proofs for
first-order arithmetic. This appendix last appeared in the first
edition. It is offered in the new edition for historical
considerations. The text also offers historical perspectives and
many new exercises of varying difficulty, which motivate and lead
students to an in-depth, practical understanding of the material.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!