Customer Reviews

The Structure of Proof: With Logic and Set Theory

5 star:		(1)
4 star:		(0)
3 star:		(0)
2 star:		(0)
1 star:		(0)

 

 

Dr. O'Leary is a wonderful Professor, I had the pleasure of taken his class in Proof Theory that uses this text book. In that class we covered the first two sections of the book. We did not make it to the "Coming Attractions" section, however we were on a 12 week format perhaps the extra four weeks we could have made it.

The book is a reasonable read. Calculus isn't necessary only in the "You've been doing Math long enough" sort of benchmark.

This book provides a really fairly unique and at the very least distinct approach to foundations. Instead of the "Sink or Swim" method traditionally forced on students this text drives home the Symbolic Logic as the foundations (After all that is why Principia Mathematica [Russell Whitehead] was such a big deal last century right? Math = Logic) and the fundamental tools to for use in this thing we call Mathematics.

Anyone looking for a rigorous treatment of symbolic logic or Mathematical foundations via Logic and Set Theory this is the textbook for you. I found myself in both areas and I was pleasantly surprised with the quality of this textbook. I am thankful for both the book and the having had the chance to take the class using this book by the Author.