Order Total (1 Item Items):
Shipping Destination:
Foundations Combinatory Logic by Curry Haskell (19 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (19)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (16)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (13)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Condition: New.
-
Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik) (Paperback or Softback)
Published by College Publications 4/19/2017, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Paperback or Softback. Condition: New. Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik). Book.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Condition: As New. Unread book in perfect condition.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Condition: New.
-
Foundations of Combinatory Logic
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
£ 21.33
Convert currencyFree shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Foundations of Combinatory Logic: (Grund (Logic PhD)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Condition: New. pp. 176.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 17.27
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Published by College Publications 2017-04, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
£ 13.87
Convert currency£ 15.49 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 16.35
Convert currency£ 15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 18.82
Convert currency£ 15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
£ 22.26
Convert currency£ 42.59 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. KlappentextCurry s PhD dissertation Introduction to Combinatory Logic, represents a first major work on a new subject. Curry s interest in the subject started when he noticed the complicated form of substitution in Principia Mathematic.
-
Foundations of Combinatory Logic
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
£ 18.16
Convert currency£ 65 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Foundations of Combinatory Logic
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Foundations of Combinatory Logic Grundlagen der kombinatorischen Logik 1 Logic PhD
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
£ 18.16
Convert currency£ 4.16 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 19.19
Convert currency£ 9.64 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 289.
-
Foundations of Combinatory Logic: (Grund (Logic PhD)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
£ 25.28
Convert currency£ 6.50 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 176.
-
Combinatory Logic Vol I (Studies in Logic and the Foundations of Mathematics)
Published by North-Holland Publishing, 1974, 1974
Seller: Antiquariaat Berger & De Vries, Groningen, Netherlands
Seller rating 5 out of 5 stars
£ 201.49
Convert currency£ 17.39 shipping from Netherlands to U.S.A.Quantity: 1 available
Add to basketBound in yellow cloth. 417 p. -good.-(Spine slightly sunned, naame in ink on the fly-leaf, but otherwise the book is in good condition.).
-
Foundations of Combinatory Logic: (Grund (Logic PhD)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
Condition: New. PRINT ON DEMAND pp. 176.
-
Foundations of Combinatory Logic : (Grundlagen der kombinatorischen Logik)
Published by College Publications, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Language: English
£ 24.47
Convert currency£ 53.37 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Curry's PhD dissertation Introduction to Combinatory Logic, represents a first major work on a new subject. Curry's interest in the subject started when he noticed the complicated form of substitution in Principia Mathematica and set about trying to find a simpler form of this rule. This led him by 1926 to some of the combinators. In 1928 Curry went to G'ottingen and completed his dissertation in 1929 under the direction of David Hilbert. This book is a translation of the dissertation.Curry's dissertation was the first publication to give a complete formal development of combinatory logic as a formal system in which the terms are built up from variables and a number of constants (combinators including B, C and K) by means of application. The proof of the consistency of the system faced the major difficulty that the only reduction relation Curry had was what we now call weak reduction. This made it impossible to prove the Church-Rosser Theorem, which is now the standard way one proves the consistency of systems of this kind. Instead, Curry was looking at sequences based on what we now call weak contractions with strings of variables added on the right.After his dissertation, Curry developed further ground-breaking ideas that continue to be very influential. These include, functionality (which became the basis of what we now call type assignment), the correspondence between types and implication formulas (the beginning of the idea of 'propositions as types') and generalised functionality (a form of dependent types in modern type systems). Curry's ideas continue to influence developments in mathematics, logic and computation.We hope that making his original thesis available in English will help make his ideas clearer.We have made use of all information we could find by Curry, mostly from marginal notes in his copy of the dissertation, indicating corrections to the original German.
