Foundations of Mathematical Logic

Foundations of Mathematical Logic by HASKELL B. CURRY


Authors
HASKELL B. CURRY
ISBN
9780486634623
Published
Binding
Paperback
Pages
416
Dimensions
142 x 208 x 20mm

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.
Christmas Catalogue 2024 x BookFrenzy
39.94
RRP: $46.99
15% off RRP


This product is unable to be ordered online. Please check in-store availability.
Instore Price: $46.99
Enter your Postcode or Suburb to view availability and delivery times.

You might also like

Adam Spencers Maths 101
35.00
16.00
54% Off
Humble Pi
24.99
21.24
15% Off
Vector
44.99
38.24
15% Off
Weird Maths
24.99
7.50
70% Off
Speed Mathematics 3rd Ed
22.95
19.51
15% Off

RRP refers to the Recommended Retail Price as set out by the original publisher at time of release.
The RRP set by overseas publishers may vary to those set by local publishers due to exchange rates and shipping costs.
Due to our competitive pricing, we may have not sold all products at their original RRP.