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.
User popularity level:

Rated by buyers
-
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: