Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 18,67
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por College Publications 4/19/2017, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 21,06
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik). Book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 19,34
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 21,86
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 22,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 23,09
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Inglés
Publicado por College Publications 2017-04, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Librería: Chiron Media, Wallingford, Reino Unido
EUR 16,57
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 21,70
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 34,00
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 176.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 19,29
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 22,71
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
EUR 24,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 19,31
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 23,24
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 21,59
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 28,28
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 176.
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 23,30
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 28,53
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 176.
Librería: moluna, Greven, Alemania
EUR 25,75
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 30,35
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: preigu, Osnabrück, Alemania
EUR 25,90
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Foundations of Combinatory Logic | (Grundlagen der kombinatorischen Logik) | Haskell Curry | Taschenbuch | Kartoniert / Broschiert | Englisch | 2017 | College Publications | EAN 9781848902022 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.