Trending Bestseller

Introduction to Mathematical Logic

No reviews yet Write a Review
Hardback
514 Pages
8 June 2015
RRP: $307.00
$303.00
Ships in 2-5 business days

Delivery estimate

Hurry up! Current stock:

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

You Can Find This Title In

    Product Details
    ISBN-13
    9781482237726
    Author
    Elliott Mendelson
    Publisher
    CRC Press
    Published
    8 June 2015
    Format
    Hardback
    Pages
    514

    This product hasn't received any reviews yet. Be the first to review this product!

    RRP: $307.00
    $303.00
    Ships in 2-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Introduction to Mathematical Logic

    RRP: $307.00
    $303.00

    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 Gödel, Church, Kleene, Rosser, and Turing.

    The sixth edition incorporates recent work on Gödel’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.

    You Can Find This Title In

      This Title Is Categorised As