SKU: 24100236436

Foundations of Mathematical Logic

Sale price$22.91 Regular price$25.46
Save 10%

Pay in installments of $6.37 with ShopPay, AfterPay and Klarna

Shipping Estimate
USA
  • USA
  • CAN

Ships within 48 hours · Estimated delivery Jul 17 - Jul 22

Promo Codes Available:

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:
  1. 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
SKU: 24100236436

Discover Niche Categories That Outsell

Top-Converting Item to Boost Your Average Order

4.5 ★★★★★
Based on 28 reviews
Sort
Highest Rating
Newest First
Oldest First
Product Reviews
Y
Verified Purchase
yuchuan Liu
Louisville, US
★★★★★ 4
Good value.
Style: w/ Rope Design, Size: Pack of 2
Works well. Light weight and effective.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 1, 2026
T
Verified Purchase
Taylor W.
Port Orchard, US
★★★★★ 5
Wheel chalks
Style: w/ Rope Design, Size: Pack of 2
Works as they should and good price
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 29, 2026
A
Verified Purchase
Amazon Customer
Bozeman, US
★★★★★ 5
👍
Style: w/ Rope Design, Size: Pack of 2
I recently purchased the Camco Wheel Chock with Rope (Pack of 2) for my trailer, and I couldn’t be happier! These chocks are sturdy and durable, providing excellent stability to keep my trailer securely in place, even on uneven surfaces. The attached rope makes removal so easy—no more struggling to pull them out from under the tires! They’re lightweight yet strong, and the pack of two gives me peace of mind knowing both wheels are well secured. A simple, reliable product that every RV or trailer owner should have. Highly recommend!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on June 10, 2025
D
Verified Purchase
deb
Houston, US
★★★★★ 5
Blocks
Style: w/ Rope Design, Size: Pack of 2
Great item.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 21, 2026
J
Verified Purchase
JustAguy
Pawtucket, US
★★★★★ 5
Great rv wheel chocks
Style: w/ Rope Design, Size: Pack of 2
After ten years, I finally decided to replace one pair of these. They have taken abuse through eleven camping seasons with my rv and I gave them to the new owner when selling my old trailer. I like these because I can use my orange plastic deadblow hammer to get them tight to the wheels. They are pointy so they really get under the tire and stay put. The rope handle makes them easy to pick up and move to the storage bay.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 24, 2025

recommand products