
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 9 - Jul 14
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.4 ★★★★★
Based on 1906 reviews
Sort
Product Reviews
★★★★★ 5
Pattern and roughness appropriate but still need to test
I haven't had a flat tire yet, so I also haven't had occasion to test these but they seem like great value for an extremely low price (especially versus a new tire.) I have handled them to try and gauge how quickly they'd smooth a hole, and they're rough / sharp and aggressive enough that I expect them to work quickly and well on not only tires, but on a variety of other materials. This pattern in particular should allow material to be shed and then passed backward pretty easily without clogging things up or slowing them down. If you've bothered to buy a patch kit for your tires, you really ought to have one of these around.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 18, 2026
★★★★★ 5
Thank you!
Size: 1/4-Inch - With Adapter
Thank you!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 27, 2023
★★★★★ 5
Makes plugging easy
Size: 1/4-Inch - With Adapter
Screw that T handle punch tool!!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 4, 2021
★★★★★ 5
as advertised
As advertised
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on June 2, 2026
★★★★★ 5
Great value, easy to use, and do a great job.
Great for tire repair! It fits in any drill in a snap, so you are able to ream the hole out in a tire so you can patch and repair the tire. My shop used these all the time, and never had any issues with them. They hold up well, and do the trick for just about any size hole in a tire. Great buy!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 27, 2026
recommand products
95-97 Chevrolet Camaro Rear Brake Line Kit With Traction Control Stainless Steel
42.27
01-02 Dodge Ram 2500 Brake Line & Hose Kit 4WD Ext Cab/Short Bed Disc Brakes Man
252.26
98-01 Dodge Ram 3500 Brake Line Kit 4WD Ext Cab/Short Bed RWABS Manual Trans
135.56
98-01 Dodge Ram 2500 4WD Ext Cab/Short Bed RWABS Drum Brakes Auto Trans
135.43
Fine Lines CBK0029OM - Complete Brake Line Kit For 1996-1999 Chevrolet Cavalier
112.98