Mathematical Logic (Dover Books on Mathematics)

Mathematical Logic (Dover Books on Mathematics)
by Mathematics, Stephen Cole Kleene

Mathematical Logic (Dover Books on Mathematics)
List Price: $24.95
Our Price: $14.15
You Save: $10.80 (43%)
Availability: Usually ships in 1-2 business days
Buy Used: from $11.50 (click here)
Category: Book
See more book details and other editions


or

Book Summary Information

Author: Mathematics, Stephen Cole Kleene
Edition: Paperback
Audio: English (Unknown); English (Original Language); English (Published)
Published: 2002-12-18
ISBN: 0486425339
Number of pages: 416
Publisher: Dover Publications

Book Reviews of Mathematical Logic (Dover Books on Mathematics)

Book Review: Excellent Excellent Book
Summary: 5 Stars

This book was written by one of the great American mathematical minds of this century. I've read it cover to cover and it happens to be my favorite logic book for its scope, depth, and clarity. Kleene uses a combined model-theoretic and proof-theoretic approach, and derives many interesting results relating the two (he also gives mention to special axioms for Intuitionistic logic). Although his focus in the first part of the book is on a more or less mathematical treatment of standard first-order predicate logic (augmented later by functions and equality), he also spends considerable time discussing the ways in which formal logic can and should be used to analyze "ordinary language" statements and arguments. After setting the groundwork, he moves onto subjects such as set theory, formal axiomatic theories, turing machines and recursiveness, Godel's incompleteness theorem, Godel's completeness theorem, and just about every interesting subject relating to logic in the first half of the twentieth century.

For the mathematically inclined self-teacher, Kleene's exposition should not be difficult at all, in fact I found it remarkably clear compared to other mathematical treatments of the subject (which are necessary if one wants to understand the deeper results). I suppose less mathematically inclined readers could try Irving Copi's "Symbolic Logic" as a start, although even that requires some mathematical proficiency, and since it doesn't cover many of the things you will want to know about, you'll end up coming back to a book like Kleene's anyway. So to summarize, if you want to learn the hard stuff (from the first half of the twentieth century--which includes just about everything the layman/philosopher wants to know), there is no better or easier way.

Summary of Mathematical Logic (Dover Books on Mathematics)

Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.

Mathematics Books

Book Subjects
Most talked about in Mathematics Books
Learn to Program with Java ImageLearn to Program with Java
by John Smiley
Osborne/McGraw-Hill; Published: 2002-01-02; Paperback; Book
Best price: $29.99
Price in other shops: $39.99
HTML: A Beginner's Guide ImageHTML: A Beginner's Guide
by Wendy Willard
Mcgraw-Hill Osborne Media; Published: 2000-11-15; Paperback; Book
Best price: $4.86
Price in other shops: $29.99
Cisco(r) CCIE(tm) Lab Practice Kit ImageCisco(r) CCIE(tm) Lab Practice Kit
by Stephen Hutnik, Michael Satterlee
McGraw-Hill Companies; Published: 2001-02-12; Paperback; Book
Best price: $14.56
Price in other shops: $59.99
Schaum's Outline of Mathematical Handbook of Formulas and Tables, 3ed (Schaum's Outline Series) ImageSchaum's Outline of Mathematical Handbook of Formulas and Tables, 3ed (Schaum's Outline Series)
by Murray Spiegel, Seymour Lipschutz, John Liu
McGraw-Hill; Published: 2008-08-25; Paperback; Book
Best price: $11.93
Price in other shops: $20.00
How to Solve Word Problems in Calculus ImageHow to Solve Word Problems in Calculus
by Eugene Don, Benay Don
McGraw-Hill; Published: 2001-07-09; Paperback; Book
Best price: $5.95
Price in other shops: $11.95
Fire in the Valley: The Making of The Personal Computer (Second Edition) ImageFire in the Valley: The Making of The Personal Computer (Second Edition)
by Paul Freiberger, Michael Swaine
McGraw-Hill Companies; Published: 2000-11-29; Paperback; Book
Best price: $139.58
Complex Variables and Applications ImageComplex Variables and Applications
by James Ward Brown
Mcgraw Hill Higher Education; Published: 2008-04-01; Paperback; Book
Best price: $24.52
Schaum's Outline of Trigonometry ImageSchaum's Outline of Trigonometry
by Robert E. Moyer, Frank Ayres
McGraw-Hill; Published: 1998-11-30; Paperback; Book
Best price: $7.88
Price in other shops: $17.95
Elementary Statistics: A Brief Version ImageElementary Statistics: A Brief Version
by Allan Bluman
McGraw-Hill Science/Engineering/Math; Published: 2006-12-02; Paperback; Book
Best price: $12.82
Geekspeak: A Guide to Answering the Unanswerable, Making Sense of the Nonsensical, and Solving the Unsolvable ImageGeekspeak: A Guide to Answering the Unanswerable, Making Sense of the Nonsensical, and Solving the Unsolvable
by Graham Tattersall
Harper Perennial; Published: 2010-02-02; Paperback; Book
Best price: $0.01
Price in other shops: $13.99
Similar Books and other products
First Order Mathematical Logic (Dover Books on Mathematics) ImageFirst Order Mathematical Logic (Dover Books on Mathematics)
by Angelo Margaris
Dover Publications; Published: 1990-03-01; Paperback; Book
Best price: $5.90
Price in other shops: $11.95
Introduction to Logic (Dover Books on Mathematics) ImageIntroduction to Logic (Dover Books on Mathematics)
by Patrick Suppes, Mathematics
Dover Publications; Published: 1999-01-28; Paperback; Book
Best price: $8.49
Price in other shops: $18.95
Mathematical Logic: A First Course (Dover Books on Mathematics) ImageMathematical Logic: A First Course (Dover Books on Mathematics)
by Joel W. Robbin, Mathematics
Dover Publications; Published: 2006-07-07; Paperback; Book
Best price: $5.94
Price in other shops: $13.95
Gödel's Proof ImageGödel's Proof
by Ernest Nagel, James Newman
NYU Press; Published: 2008-10-01; Paperback; Book
Best price: $7.18
Price in other shops: $12.95
Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics) ImageUndecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)
by Alfred Tarski, Andrzej Mostowski, Raphael M. Robinson, Mathematics
Dover Publications; Published: 2010-08-19; Paperback; Book
Best price: $7.34
Price in other shops: $12.95
First-Order Logic (Dover Books on Mathematics) ImageFirst-Order Logic (Dover Books on Mathematics)
by Raymond M. Smullyan
Dover Publications; Published: 1995-01-30; Paperback; Book
Best price: $6.08
Price in other shops: $10.95
Introduction to Topology: Third Edition (Dover Books on Mathematics) ImageIntroduction to Topology: Third Edition (Dover Books on Mathematics)
by Bert Mendelson, Mathematics
Dover Publications; Published: 1990-07-01; Paperback; Book
Best price: $5.61
Price in other shops: $10.95
Introduction to Metamathematics ImageIntroduction to Metamathematics
by Stephen Cole Kleene
Ishi Press; Published: 2009-03-13; Paperback; Book
Best price: $26.99
Price in other shops: $39.95
A Book of Abstract Algebra: Second Edition (Dover Books on Mathematics) ImageA Book of Abstract Algebra: Second Edition (Dover Books on Mathematics)
by Charles C Pinter
Dover Publications; Published: 2010-01-14; Paperback; Book
Best price: $11.44
Price in other shops: $16.95
Introduction to Logic ImageIntroduction to Logic
by Alfred Tarski
Dover Publications; Published: 1995-03-27; Paperback; Book
Best price: $6.04
Price in other shops: $12.95