A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)

This book could possibly be used as a first course in logic by reading the first few sections of Chapter 5 while reading Chapter 1, but there are so many (beautiful) proofs to the problems in the first four chapters of mathematical background that it would be difficult to comprehend the first four chapters without knowing some logic (or having mathematical maturity) already. For learning logic for the first time a better book would be Patrick Suppes' Introduction to Logic.If it's possible for a book on mathematical logic to be a pleasure to read, this book is it though. Professor Smullyan is a great teacher.

I should begin by noting that I've been a fan of Raymond Smullyan's books for many years now and have bought and enjoyed each volume. Although often described as "puzzle" books (which they are), they are also much more than that as Professor Smullyan uses his puzzles, all of which are normally woven into well-told stories and tales, not only to entertain, but also to teach various aspects of logic. I've found all the books to be (very) interesting reads, challenging, and amazingly effective at elevating one's understanding of some often daunting matters. As an example, one of his books brings one along to the point of actually understanding, in much more than just a "pop-science" way, some of the complexities and implications of Kurt Godel's work--quite an accomplishment. As a result, when I saw that Smullyan had written a more formal guide to mathematical logic, I quickly availed myself of the opportunity of buying it and digging in. Unfortunately, I became somewhat frustrated for two separate but related reasons, one of which was due simply to having purchased the Kindle edition. The first difficulty is due to a quirk of mine, but one I believe may be shared by others. Often in academic texts about math or the hard sciences problems or exercises are given at the end of chapters which allow one to practice the topics covered in that particular chapter. Most teachers of math generally agree that having the students do a number of such problems is very useful, maybe even essential, to allowing students to gain mastery of the topic in question. I agree with this general attitude or belief. I also believe, however, that doing the exercises should not be essential before moving on to the next chapter. In particular, a number of texts make it necessary to complete some of the final exercises because the answers provide essential information required to be able to understand the following chapters. This is a tendency that I dislike and find both unnecessary and manipulative, even if not intended to be so by the author. Well, Smullyan's text interposes every few paragraphs or pages within each chapter puzzles, similar to those in his more puzzle-oriented books, that one must complete before one can understand or appreciate the paragraphs that follow. This tendency, even if one is not bothered by such (as I am, at least in more formal, not puzzle, books) slows down the reading of the text, and breaks the flow of study a bit too much for my liking. The other difficulty I had with the text is due to having the Kindle version. In a normal book version, as one dealt with each of the puzzles mentioned above, one could flip to the end of each chapter to check one's solution with that given by Smullyan, or, by reading the first part of the answer, get a useful hint to how best to solve the puzzle. It would also be easy to flip back and forth readily, should there be the desire or need to do so. With the Kindle, paging forward a large number of screens and then paging back, particularly if one had to do that a number of times for each puzzle/teaching point, becomes definitely burdensome and frustrating. If the desire to keep the puzzles in the text rather than simply explain the points being made by them is strong enough, one could put the answers immediately following each respective puzzle question, thus eliminating the constant flipping back and forth. This work-around, however, would require presumably a good deal of time and money changing the format from the printed version to the e-book version, so I understand why this will probably not happen. Anyway, I remain a fan of Smullyan, and will continue to purchase his books (the solid ones, not any future e-books), but it was frustrating that this one, which I really wanted to learn from, was so difficult and tiring to deal with.

This is another absolutely incredible masterpiece from an absolutely incredible man! Raymond Smullyan is unique unto himself and a one-man show! Every book he produces is a gem. He entertains while teaching and teaches while entertaining. And he effortlessly - modulo intense hard work on the part of the reader - moves from fundamental concepts in logic up to the dizzy heights of mathematical logic as it stands today.Dr. Smullyan is a remarkable man on all levels and a real delight! It is my sincere hope that I will stumble upon him during one of my many sojourns out of this mortal coil that we call ordinary life!

Comprehensive and easy-to-understand guide to mathematical logic. A must-have for anybody interested in the subject.

A first rate book on mathematical logic; good to review the subject or as a reference.Includes topics not referenced in text books we used college. Kurt Godel's work is covered as well as types of logical notation not usually found in older books on the subject. Some links to current findings sand research too. Will become a classic alongside DeLong's "Profile of Mathematical Logic".

I did not particularly want to adopt his Propositional Logic Axiom System "So" (Chapter 7)I did however find the format of his book highly didactic which includes problem Solutions in the back of each Chapter.Going thru the problems is necessary to digest the subject.

The master has written the best mathematical logic book ever!! He actually teaches rather than proves how smart he is!!The solutions were very important for understanding the material! I hope he continues to take us on his wonderful Journey!!Thank you Professor Smullyan !! Gale Gray, a most grateful student!!!

Haven't finished it yet, but it's helping me in my logic for Computer Science course tremendously.It's like cheating, but with more work.9/10

Parfait!

E' un testo di teoria di logica matematica per matematici o anche per appassionati. E' interamente scritto in inglese. Tratta la parte assiomatica della logica. Nulla da dire sulla consegna: Amazon sempre puntuale.

Really those books are good to learn. Thanks!

Un excelente libro escrito por un lógico fuera de serie, muy bien escrito, muy didáctico y , especialmente, divertido. Desarrolla la lógica de primer orden y teoría de conjuntos. Muy recomendable.

Sehr klare und strukturierte Darstellung, die sich auf das Notwendige beschränkt wie es für das Verständnis mathematischer Strukturen und Beweise erforderlich ist und trotzdem sehr schnell auf die elementaren Grenzen aufmerksam macht, nämlich die Gödelschen Unvollständigkeitssätze. Diese sind sehr gut dargestellt. Detaillierter ist m.E. nur noch Dirk Hoffmann "Grenzen der Mathematik" (Springer 2013).