Pay in installments of $6.37 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 28 - Aug 2
For Your Every Summer RSVP, with Code: SUMMER15
Description
Foundations of Mathematical LogicThis book is a thoroughly documented and comprehensive account of the constructive theory of the first order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic. Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then
This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic.Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then mathematical logic is, according to Curry, "a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space."
The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included.
Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives.
Binding Type: Paperback
Publisher: Dover Publications
Published: 11/18/2010
ISBN: 9780486634623
Pages: 416
Weight: 0.94lbs
Size: 8.23h x 5.60w x 0.78d
Shipping Notes
- Free Standard Shipping on $100+ Orders to the USA.
- Except Preorder products are shipped in 48 hours.
- Delivery to the USA:
- Standard Shipping : 3-10 business days
- If time is of the essence, please consider selecting expedited delivery for faster service.
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy
4.0 ★★★★★
Based on 17 reviews
Sort
Product Reviews
★★★★★ 5
Excellent
Size: 90 Count (Pack of 1)
Not sure why, but after my first pill helped ease the pain in my hip generating from l4. I can’t say why but definitely pain improved.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 30, 2026
★★★★★ 5
Good and Healthy Product
Size: 90 Count (Pack of 1)
Excellent
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 16, 2026
★★★★★ 5
GREAT READ
Format: Hardcover
I can’t stop thinking about Laws of Love and Logic, a debut novel by Debra Curtis. It’s beautifully written, incredibly heartbreaking, but nevertheless hopeful. It’s definitely not your typical romance novel rather it’s heavily character driven, and thought provoking. The characters feel so real. The way the author writes about the sisters’ relationship will stay with me forever. Also, having grown-up Catholic, I was so inspired to see progressive Catholicism with an emphasis on serving the most vulnerable, as being a foundational part of the sisters’ lives. The story spans decades, opening in the 70s and follows the characters into middle age. If you like books by Elizabeth Strout and Ann Patchett, you’ll love this one.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 1, 2026
★★★★★ 4
A little slow start. Had read ahead to get into the book.
Format: Hardcover
Good read.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on February 27, 2026
★★★★★ 5
Highly recommended read!!
Format: Hardcover
My book club read this. It’s a thoughtful and emotional story with believable characters and strong family themes. I especially loved the message of forgiveness, which added real depth to the story. I’m from the area where the book takes place and found the setting and details extremely accurate. I could picture myself in and around it. Loved it and highly recommend. Looking forward to this author’s next book!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 1, 2026
recommand products
ICT BILLET LS Remote Mount Water Pu mp Adapter Plate -12AN 551536
80.95
ICT BILLET 3in to 2.5in Hose Barb Reducer Coupler Adapter AN627-48-40A
45.95
The Tithes Heroes T Shirt
29.99
IDIDIT Dash Mount Collapsible 2 1/4in 2301310010
130.95
JoyToy Warhammer The Horus Heresy Action Figure - Ultramarines, Invictarus Suzerain #4 with Bolt Pistol, Legatine Axe and Argyrum Pattern Boarding Shield (1/18 Scale)
56.99