Introduction to mathematical logic

Bibliographic Information

Introduction to mathematical logic

Elliott Mendelson

(Textbooks in mathematics)

CRC Press, c2015

6th ed

Available at  / 16 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Description and Table of Contents

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 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.

Table of Contents

The Propositional Calculus. First-Order Logic and Model Theory. Formal Number Theory. Axiomatic Set Theory. Computability. Appendices.

by "Nielsen BookData"

Related Books: 1-1 of 1

Details

  • NCID
    BB1923402X
  • ISBN
    • 9781482237726
  • LCCN
    2014044032
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Boca Raton
  • Pages/Volumes
    xxiv, 489 p.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top