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 Aug 4 - Aug 9

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.4 ★★★★★
Based on 20 reviews
Sort
Highest Rating
Newest First
Oldest First
Product Reviews
J
Verified Purchase
Jammie Clark
Boise, US
★★★★★ 4
A good read
Format: Kindle
Multiple points of view. 3 Alpha men and an Omega male. She is a Beta in training for a new program placing betas in Alpha/Omega packs. Mila is only doing the program for the money to take care of her dad. She wasn't expecting to fall for a pack but when she sees this packs Omega she is done for. There is just something about him. His Alphas are good looking as well. Too bad she is hiding a secret and their government is acting shady. I liked it and can't wait to see where their story goes.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on November 14, 2023
B
Verified Purchase
Bri Hires
Phoenix, US
★★★★★ 3
Slightly repetitive but I did love some things
Format: Kindle
I love this type of story. And omegaverse is one of my all time favorite genres. But there are a few things that pulled me out of my enjoyment while I was reading. It was repetitive at times as well as struggled with telling not showing. So we didn’t always feel like we were experiencing things with the main character. There were also some plot holes but they may still be answered in part 2. Now this isn’t to be said I didn’t enjoy parts of the story. I loved the almost instant love between Mila and Oliver. And how he started changing around her.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on February 15, 2024
K
Verified Purchase
Kimberly G
Port Orchard, US
★★★★★ 5
delightful read
Format: Kindle
What a delightful read. The characters are awesome, the plot was so good, I loved it. I was intrigued and it kept me wanting more. Told in multiple pov, the book sucks you in and doesn’t let go. I cannot wait to read the next book.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 30, 2025
K
Verified Purchase
Kimberly B
Los Angeles, US
★★★★★ 4
not bad
Format: Kindle
I loved the plot of this book. The characters just didn’t have a lot of depth. The connections and “love” just weren’t communicated very well in the writing. The author didn’t write the sweet psycho trope very well at all either. Lachlan was just a mess of a character.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on November 17, 2023
C
Verified Purchase
Carmen Alicea
Boise, US
★★★★★ 5
A Beta Worth Rooting For
Format: Kindle
In Spare, Violet Fox flips the omegaverse on its head, giving us a Beta heroine determined to make her mark. Joining the Beta Trials to support her sick father, she's thrown into a pack that doesn't want her, especially the possessive Alphas. But here's the twist: their sweet Omega turns out to be her scent match. Cue the angst, forbidden tension, and a slow-burn romance that will make your heart ache in the best way. Violet Fox delivers an emotional, refreshing take on the genre, proving Betas aren't "spares." They're stars.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 10, 2025

recommand products