Books : The Structure of Proof: With Logic and Set Theory

In association with Amazon.com
 View Shopping Cart or Checkout 

Author name: Michael L. O'Leary

 : The Structure of Proof: With Logic and Set Theory
View Bigger Picture


Used Price: $69.20
Third Party New Price: $114.28






Type of bind: Hardcover
Dewey Decimal Number: 511.3
EAN num: 9780130190772
ISBN number: 0130190772
Label: Prentice Hall
Manufacturer: Prentice Hall
Quantity: 1
Page Count: 418
Printing Date: January 15, 2002
Publishing house: Prentice Hall
Sale Popularity Level: 895551
Studio: Prentice Hall




Other books you might be interested in perusing:

Editor's Notes and Comments:

Product Description:
Rather than teach mathematics and the structure of proofs simultaneously, this book very first introduces logic as the foundation of proofs and then demonstrates how logic applies to mathematical topics. This method ensures that the reader gains a firm understanding of how logic interacts with mathematics and empowers them to solve more complex problems. Topics include: Propositional Logic; Predicates and Proofs; Set Theory; Mathematical Induction; Number Theory; Relations and Functions; Ring Theory; Topology.



Customer Reviews
User popularity level:  out of 5 stars

Rated by buyers 5 out of 5 stars - A brilliant textbook by a brilliant Professor
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 very 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.



Find other books like this one:

 


Plantar Psoriasis / Social Anxiety Help / The Black R0be / Don Quixote / Thriller Reading /
Valentine Theater Stories Wizard Of Oz Munchkins Book Jungle Panther Arabic Language Autism Walk Holmes Secret Sherlock Weapon Graduation Gift Corporate Gift Man Sherlock Holmes Illustration Announcement Card Wedding

Home - Trains - Planes - Ships - Transportation