Haskell Curry (94 results)

Language: English
Published by NY: Dover c. 1977. 2010
Series: Dover Books on Mathematics, Book 22 of 303. Book 22 of 303 - Dover Books on Mathematics
- Softcover
Seller: de Wit Books, HUTCHINSON, KS, U.S.A.de Wit Books
Contact seller5-star sellerCondition: Used
US$ 15.00
US$ 5.00 shippingShips within U.S.A.Quantity: 1 available
VG, unmarked, 5" x 8" Paperback. viii + 408 pp.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 17.80
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 18.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by Dover Publications 2010
Series: Dover Books on Mathematics, Book 22 of 303. Book 22 of 303 - Dover Books on Mathematics
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 20.46
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: New.

Language: English
Published by Dover Publishers 2010
Series: Dover Books on Mathematics, Book 22 of 303. Book 22 of 303 - Dover Books on Mathematics
- Softcover
Seller: INDOO, Avenel, NJ, U.S.A.INDOO
Contact seller5-star sellerCondition: New
US$ 23.11
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Brand New.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 20.71
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 23.36
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik). Book.

Language: English
Published by Dover Pubns, Mineola, New York, U.S.A. 1977
Series: Dover Books on Mathematics, Book 22 of 303. Book 22 of 303 - Dover Books on Mathematics
- Softcover
Seller: Wm Burgett Bks and Collectibles, san diego, CA, U.S.A.Wm Burgett Bks and Collectibles
Contact seller4-star sellerCondition: Used - Near fine
US$ 19.95
US$ 4.00 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: Near Fine. Dust Jacket Condition: No Jacket as Issued. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 21.49
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 24.21
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
Language: English
Published by Notre Dame, Indiana 1966
- Softcover
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, GermanyAntiquariat Thomas Haker GmbH & Co. KG
Contact seller5-star sellerCondition: Used - Very good
US$ 7.30
US$ 17.26 shippingShips from Germany to U.S.A.Quantity: 1 available
Paperback. Condition: Gut. 129 S.; Ill. Good condition. Cover worn. Front joint / binding brownstained. Sprache: Englisch Gewicht in Gramm: 375.

- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 24.43
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.

- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 25.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.Rarewaves USA
Contact seller5-star sellerCondition: New
US$ 25.61
Free ShippingShips within U.S.A.Quantity: Over 20 available
Paperback. Condition: New.

Language: English
Published by Dover Publications 2010
Series: Dover Books on Mathematics, Book 22 of 303. Book 22 of 303 - Dover Books on Mathematics
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 23.57
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.

Language: English
Published by Dover Publications Inc., New York 2003
Series: Dover Books on Mathematics, Book 22 of 303. Book 22 of 303 - Dover Books on Mathematics
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 29.78
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 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. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by NOTRE DAME IN: U OF NOTRE DAME, 1966 1966
- Softcover
Seller: A Casperson Books, Niles, MI, U.S.A.A Casperson Books
Contact seller4-star sellerCondition: Used - As new
US$ 15.00
US$ 4.13 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: As New. No Jacket. Soft Cover. NEW. First Edition.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 28.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 29.42
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 31.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by Dover Publications 2010
Series: Dover Books on Mathematics, Book 22 of 303. Book 22 of 303 - Dover Books on Mathematics
- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 29.34
US$ 7.45 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
More imagesLanguage: English
Published by NOTRE DAME UNIVERSITY, Notre Dame 1957
- Softcover
Seller: Inklings Bookstore, Bedford, IN, U.S.A.Inklings Bookstore
Contact seller5-star sellerCondition: Used - Very good
US$ 30.00
US$ 6.75 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: Very Good. PB book in VG condition. Points and edges of spine are slightly worn and discolored. Pages and covers have some discoloration/yellowing around the edges. Page interiors white and clean. Please see photos attached and feel free to reach out with questions about this title.

- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 34.34
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 19.01
US$ 20.60 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Published by North-Holland 1958
- Hardcover
Seller: mountain, GEORGETOWN, CO, U.S.A.mountain
Contact seller5-star sellerCondition: Used - Good
US$ 21.01
US$ 5.00 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. softcover book light wear to cover and book edges, has some light reader wear.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 24.90
US$ 15.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 36.74
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 176.

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 22.13
US$ 19.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 22.09
US$ 19.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by Dover Publications 1977
Series: Dover Books on Mathematics, Book 22 of 303. Book 22 of 303 - Dover Books on Mathematics
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 30.31
US$ 13.30 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock.