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.

About the Author

Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Russell Books
100-747 Fort St., Victoria, BC, V8W 3E9, Canada

Sale & Shipping Terms

Terms of Sale

For assistance with billing questions, please refer to our help page in abebooks. If you cannot find the answers you are seeking or have questions about your order you can contact us by emailing info@russellbooks.com. Responses to emails will be provided as soon as possible. For further information - (250) 361-4447

Shipping Terms

Shipping prices are based on books weighing 2.2 LB, or 1 KG. Canadian and U.S. orders sent with Automated Package Tracking and delivery confirmation, where available. If your book order is heavy or oversized, we may contact you regarding any extra shipping costs. Thank you! - Russell Books

Shipping rates from Canada to U.S.A.

Shipping rates from Canada to U.S.A.
Order quantity	7 to 14 business days	5 to 7 business days
First item	US$ 19.99	US$ 24.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.