Introduction to Mathematical Logic

Description

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 Godel, Church, Kleene, Rosse

• Author: Elliott Mendelson
• Publisher: CRC Press
• Published: 2015-05-21
• Pages: 383
• ISBN-13: 9781040071939