Mathematical Logic
-
-
4.0 • 2 Ratings
-
-
- $19.99
-
- $19.99
Publisher Description
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules.
The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
Customer Reviews
Classic book but poor ebook quality
This is a classic mathematical logic book by one of the giants of the 20th century. You can't go wrong owning this work and is probably adequate for determined self-study.
It suffers from typical problems of trying to digitize mathematical notation, and this book is filled with dense mathematical notation. Kleene writes very detailed prose that accompanies the notation and within this prose he peppers it with math notation. The prose itself comes through well, but the math notations suffer. It is fairly obvious how the ebook editors attempted to digitize this ebook.
Instead of making the necessary effort to retype the math notations, certainly a laborious and error prone task, requiring careful editing to correct the inevitable mistakes, they literally cut and pasted (I suspect real paste, scissors, and scotch tape) the images from the original book into the digitized text; that really didn't work out very well.
How much of the problem stems from the ePub standard being inadequate in handling mathematics notation versus hiring of skilled staff to properly retype the notation versus other causes I cannot tell.
This book is also available for the Kindle. I have compared the Kindle book with this ePub version and found the Kindle version more pleasant as far as I was able discern; the in-prose math in the Kindle version is properly aligned within each line whereas the iBook version has disconcerting horizontal spacing between the prose and the math notation, and often the math notation is descended a half line below the line in which the notation should appear. As far as accuracy of the content is concerned, there doesn't seem to be a difference.