👨‍💼 CUSTOMER CARE NO +918468865271

⭐ TOP RATED SELLER ON AMAZON, FLIPKART, EBAY & WALMART

🏆 TRUSTED FOR 10+ YEARS

  • From India to the World — Discover Our Global Stores

🚚 Extra 10% + Free Shipping? Yes, Please!

Shop above ₹2000 and save 10% instantly—on us!

THANKYOU10

*^Mathematical Logic

Sale price Rs.1,591.00 Regular price Rs.2,121.00
Tax included


Genuine Products Guarantee

We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.

Delivery and Shipping

Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.

Get 100% refund on non-delivery or defects

On Prepaid Orders

Book Details

  • Publisher: Dover

  • Author: Stephen Cole Kleene

  • Language: English

  • ISBN: 9780486425337

  • Pages: 416

  • Cover: Paperback

  • Release Date: 18-12-2002

  • Dimensions: 8.5 x 5.6 x 1.3 inches

About The Book
Mathematical Logic by Stephen Cole Kleene is an invaluable text for undergraduate students venturing into the world of mathematical logic, especially those with no prior classroom instruction on the subject. Written by one of the greatest authorities on mathematical logic, this evenhanded and multipart text provides a thorough introduction to the subject, offering a balance of elementary yet comprehensive instruction.

The book is divided into two parts:

  • Part I focuses on the mathematical logic of first-order logic, starting with foundational techniques. Students are introduced to model theory (truth tables), Hilbert-type proof theory, and proof theory using derived rules. This structured approach ensures a clear understanding of the core elements of mathematical logic.

  • Part II builds on the material from Part I, delving into newer concepts and significant twentieth-century advancements in logical research. This section covers formal number theory, as well as important results such as Gödel’s incompleteness and undecidability theorems, and contributions from key figures like Church and Turing.

The final chapters of the book return to logic, exploring some of the most profound theorems in the field, including Gödel's completeness theorem, Gentzen's theorem, Skolem's paradox, and nonstandard models of arithmetic. These topics offer a deep dive into the foundational aspects of logic that have shaped modern mathematical theory.

An unabridged republication of the edition published by John Wiley & Sons, Inc. in 1967, this edition includes a preface, bibliography, theorem and lemma numbers, a list of postulates, symbols and notations, and an index, making it a complete and invaluable resource for anyone studying mathematical logic.