Pay in installments of $6.37 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 31 - Aug 5
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.7 ★★★★★
Based on 14 reviews
Sort
Product Reviews
★★★★★ 5
Bonito Timex
Color: Green/Green
Bueno, bonito y barato.
El envío super rápido, 7 días. Perú 🇵🇪.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 15, 2026
★★★★★ 5
It's a Solar timex.
Color: Green/Green
It's Solar. Light weight. Probably won't need a battery change for a long time. Takes a Lickin keeps on tickin.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 13, 2026
★★★★★ 5
Amazing solar
Color: Green/Green
You will love it
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 21, 2026
★★★★★ 3
Feels cheap, not good for old eyes.
The watch seemed to work good. But it felt cheap, and I was looking for something with better illumination and easier to read. I ended up returning it.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on October 3, 2025
★★★★★ 5
Takes a Licking and Keeps on Ticking
Color: Green/Black
I love this watch despite the fact that it is really a toy. I love the look of the watch, I love how lite the weight of the watch is on my wrist, and it really does keep good time if you manage the solar charge properly. Other than looking cool on your wrist, this watch has absolutely no functions other than time keeping. The black plastic bezel is molded into the case and does not turn, so don't plan on using that. The watch has no light, the dial numbers are non-luminous and the hands are very limited in terms of luminosity. No buttons. All you can do is adjust the time and date by pulling out what used to be a winding stem in the good old days.
The small tag on the strap with Geographic coordinates shown on it indicate the location of the old Timex manufacturing facility (SW of Waterbury, CT).
I have a nice ledge at my bedroom window and it gets good western sun for a good part of the day regardless of the time of year. On this ledge you will find a half dozen solar powered watches (mostly Casio) properly aligned to maximize the charge they may receive each day. Note that the description for this Timex watch specifically states that a lightbulb won't charge this watch. You need direct sunlight for several hours if you want to get more than a 3-week charge into this watch.
So, I'll leave you with a couple of tips, my friends; 1.) If you are looking for a first watch to give your outdoorsy oriented Son or Daughter, then give them this one. Why? Because it is cool looking, fairly well built, and it actually works, 2.) After you receive your Timex watch, be sure to keep the display mount it is packaged with. It makes a great fixture to mount your watch on for charging and allows you to maximize the position of the solar cells on the dial so that you can optimize charging time.
Have Fun!
Jimmy
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on February 28, 2026
recommand products
Mimaki TxF150-75 DTF Printing System (Used Machine)
6375.00
Treating Anxious Children And Adolescents - An Evidence-Based Approach (Soft Cover)
42.00
Roland VersaSTUDIO BD-12 Desktop UV Flatbed Printer
10997.50
RB Luma 4mil PVC/PET Printable Metallic Silver Vinyl (Clear Permanent Adhesive, Air Egress)
287.50
RB Glow-In-The-Dark Cut Vinyl
25.00