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.
"synopsis" may belong to another edition of this title.
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.
US$ 3.75 shipping within U.S.A.
Destination, rates & speedsSeller: HPB-Red, Dallas, TX, U.S.A.
Paperback. Condition: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_423806293
Quantity: 1 available
Seller: SecondSale, Montgomery, IL, U.S.A.
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00085749257
Quantity: 1 available
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.99. Seller Inventory # G0486634620I3N00
Quantity: 1 available
Seller: HPB Inc., Dallas, TX, U.S.A.
Paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_441866161
Quantity: 1 available
Seller: Bookmans, Tucson, AZ, U.S.A.
Paperback. Condition: Acceptable. Some shelf wear Satisfaction 100% guaranteed. Seller Inventory # mon0002689599
Quantity: 1 available
Seller: HPB-Red, Dallas, TX, U.S.A.
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_433664650
Quantity: 1 available
Seller: de Wit Books, HUTCHINSON, KS, U.S.A.
VG, unmarked, 5" x 8" Paperback. viii + 408 pp. Seller Inventory # 030454
Quantity: 1 available
Seller: INDOO, Avenel, NJ, U.S.A.
Condition: New. Brand New. Seller Inventory # 9780486634623
Quantity: Over 20 available
Seller: Wm Burgett Bks and Collectibles, San diego, CA, U.S.A.
Soft cover. Condition: Near Fine. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall. Seller Inventory # 020041
Quantity: 1 available
Seller: Daedalus Books, Portland, OR, U.S.A.
Paperback. Condition: Very Good. A nice, solid copy. ; Dover Books On Mathematics; 6 X 0.75 X 8.25 inches; 407 pages. Seller Inventory # 323150
Quantity: 1 available