eTextbook: Classical Mathematical Logic

Book Jacket Image

List Price 1: $115.00

eTextbook Purchase: $92.00

You save $23.00

Are you a school looking to buy multiple copies of this book?

  • Free Book Promotion

    For a limited time, this book is eligible for free.

    Click here to redeem the Facebook Offer

    Author(s): Epstein, Richard L.; Szczerba, Leslaw W.

    ISBN 10: 0691123004. See all ISBN's

    ISBN 13: 9780691123004

    Edition:

    Publisher: Princeton University Press

    This is an eTextbook Learn More

    Description:

    In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations.

    The book provides detailed explanations of all proofs and the insights behind the proofs, as well as detailed and nontrivial examples and problems. The book has more than 550 exercises. It can be used in advanced undergraduate or graduate courses and for self-study and reference.

    Classical Mathematical Logic presents a unified treatment of material that until now has been available only by consulting many different books and research articles, written with various notation systems and axiomatizations.

    All ISBN's for this title:

    ISBN 10: 0691123004, ISBN 13: 9780691123004, eISBN 10: 1400841550, eISBN 13: 9781400841554

    1. List price can refer to either the digital or print list price, whichever is available to Kno.
  • Cool Product Features

    Kno In Action

    Search

    Journal

    Flashcards

    Kno Me

    Smart Links