Pay in installments of $6.37 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Sep 26 - Oct 1
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.3 ★★★★★
Based on 12 reviews
Sort
Product Reviews
★★★★★ 5
A remarkable story, illuminating and real.
Format: Paperback
This book is a journey, the author’s journey and potentially the reader’s as well. A story that at once reveals the author’s walk of hundreds of miles, intertwined through steps of ancient history, beautiful and interesting places, and traversed by countless people who through the ages embarked on similar journeys of their own. There is a revealing honesty that comes through these pages allowing the reader to feel vicariously on a kind of journey of one’s own. With great admiration for this writer and for all those who have traversed so consummate a pilgrimage, I found myself searching my own soul, visualizing the vast and beautiful detailed descriptions, enjoying the frequent humor and occasional hilarity, at times laughing out loud, feeling deeply moved, filled with questions and ideas about the ways we all find ourselves traveling our lives. The people, fellow pilgrims the writer meets along the way, the experiences they share on their subjective journeys, are honored by this author as are the lives of those who came before them over the centuries. It is a book filled with surprises, joy, pain, beauty. An absolutely awesome experience to read.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on July 8, 2021
★★★★★ 4
Good book …but some comments….
Format: Paperback
I too, have to agree with another reviewer giving four stars. I also noticed his comments on beautiful women and wondered how “Leslie” at home felt about it as well. And the wine he mentions far outweighed any reference at all to the necessary need for water on such a walk. Comments in the last few chapters on walkers who only walked the last few miles seemed a bit snarky. But he made me laugh out loud several times and I found it to be an enjoyable, entertaining read. I can only hope Leslie, at home, felt the same ! Having read many books on the Camino, this was a good read. His tragic experience earlier in life makes me give him a hug and big thumbs up for finding meaning in life and going for it. Thanks, John.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on September 26, 2024
★★★★★ 5
How One Journey Can Change You Emotionally, Spiritually, and Personally!!!
Format: Paperback
i've been interested in the Camino de Santiago for several years. I have seen several Youtubes on the Camino, plus read other books. Nothing has stirred me as much as this book. I felt like I had walked the entire Camino with John. I was nervous when he was nervous, laughed when he laughed, and cried when he cried. He absolutely captures the entire Camino, right to the end. I learned so much, not only historically, but also emotionally and spiritually. When I got near the end of the book, I didn't want to finish it and put it down, because I didn't want the journey to end!!! But I'm glad that I picked it up the next day and finished it, because the best part was at the end. The emotions were overwhelming to me. Great book. Now, I just have to put on my shoes and go (but not without proper preparations!!!)
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 13, 2021
★★★★★ 5
The Best Narrative about the Real Camino
Format: Kindle
I have read many, many books about the Camino de Santiago and this is by far the best. It is so clearly written that I felt myself walking along with John Pearson. His description of every aspect of the Way is accurate and wonderful to read. I only walked the last 100 km, but feel now like I walked the whole way and enjoyed it without the blisters! If I were younger, I would definitely walk the entire way but am so glad John wrote his experience so that I at least can imagine what it was like. Thank you for the Most Excellent Book!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on June 1, 2021
★★★★★ 5
Finding God every 20 Miles
Format: Paperback
What an enriching experience it was to read John's journey on the Camino de Santiago! By the third day of reading John's experiences on the Camino, I realized how much I was looking forward to reading another chapter or two after dinner with my family. After reading his chapter entitled "The Whale in the Room," I was so moved that I shared what I'd read with my wife, Cathy and son, Alex and told them how blessed I was to have them safe and near me. What a magnificent allegory of life that the Camino de Santiago is for so many peregrinos! Thank you John for letting me walk nearly 500 miles in your Merrell Moab "moccasins!" And forgive me for earmarking a few pages along the way, I want to re-read those key pages with your wisdom until the end of my Camino on this earth. Buen vida y buen Camino Peregrino!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 11, 2021