Combinatory logic (29 Ergebnisse)
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 10,85
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 21,85
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge, Cambridge Univ. Press, 1972
- Softcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 15,00
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Gut. 170 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 521096979 Sprache: Englisch Gewicht in Gramm: 550.
- Hardcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 61,65
EUR 3,89 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 10 (SALE item)* First edition, first printing, xvi, 417 pp., hardcover, previous owner's name to front free endpaper else very good. Includes errata sheet. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once o…rdered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Verlag: Cambridge University, 1972, 1972
- Softcover
Anbieter: Antiquariaat Berger & De Vries, Groningen, NiederlandeAntiquariaat Berger & De Vries
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 30,00
EUR 20,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. 170 p. -(Some signs of use on the cover, name in ink on the title page, but overall in good condition.).
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 29,35
EUR 61,63 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - To Mock a Mockingbird is Raymond Smullyan's tour of combinatory logic, in the form of ingenious logic puzzles.After an introductory section with elementary problems set in Smullyan's wonderful world of knights who always tell the truth and knaves who always lie, we embark upon the main advent…ure, which Smullyan playfully casts into a realm of enchanted forests, talking birds and bird sociologists, and are led through puzzles of increasing complexity until we reach the Master Forest and-thanks to Gödel's famous theorem-a final revelation.To Mock a Mockingbird will delight all puzzle lovers-curious neophytes as well as serious students of logic, mathematics, or computer science.This corrected and freshly typeset edition includes a new foreword by Prof. Melvin Fitting.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 86,27
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New.
- Softcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 94,24
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 90,02
EUR 5,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Anbieter: Optimon Books, Gravesend, KENT, Vereinigtes KönigreichOptimon Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 81,73
EUR 21,01 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. LMS lecture note series No. 7 The condition is almost very good.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 88,76
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 120,53
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 358 pages. 9.18x6.12x0.87 inches. In Stock.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,47
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Katalin Bimbo is an assistant professor in the Department of Philosophy at the University of Alberta in Edmonton, Canada.Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, an.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 32,10
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Amsterdam, North-Holland Publishing Company, 1968
- Hardcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 134,35
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Gut. 417 S. K03099 Ex-library with stamp and library-signature in good condition, some traces of use. Sprache: Englisch Gewicht in Gramm: 550.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 126,50
EUR 62,50 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the l…ast four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and lambda calculi and presents models and applications to illustrate these connections.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 243,85
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 323,57
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 1st edition. 416 pages. 9.37x6.46x0.87 inches. In Stock.
Combinatory Logic. Volume I and Volume II. (= Studies in logic and the foundations of mathematics).
Curry, Haskell B. / Feys, Robert / Craig, William / Hindley, J. Roger / Seldin, Jonathan P.
Sprache: Englisch
Verlag: Amsterdam, North-Holland Publishing Company 1968 / 1972., 1968
- Hardcover
Anbieter: Antiquariat An der Vikarie, Grafschaft-Leimersdorf, DeutschlandAntiquariat An der Vikarie
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht
EUR 318,50
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Vol. I in second printing 1968. XVI/417, XIV/520 pp., ex-library copy with label on covers and stamps, spines slightly rubbed and with little residues of a library-signature, 2 pages in Vol. I with little underlinings, else good and clean, text in English, BITTE BEACHTEN: Aufgrund des höheren Gewichtes sind zusätzliche Versandko…sten für den Versand außerhalb der EU erforderlich. PLEASE NOTE: This is a heavy book / set, that requires additional postage for international delivery outside EU. Sprache: Englisch Gewicht in Gramm: 1840 original hardcover (no dust jackets).
Sprache: Englisch
Verlag: Association for Symbolic Logic, Menasha / Ann Arbor, 1937
- Softcover
- Erstausgabe
- Magazin//Zeitschrift
Anbieter: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, USAArroyo Seco Books, Pasadena, Member IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Gut
EUR 589,22
EUR 6,92 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbGrey Wrappers. Zustand: Very Good. First Edition. Volume 2 No 1, Containing Pp 1-64. Scarce In This, The Original Publication State Of Gray Printed Wrappers. Contains Two Articles, By Raphael M Robinson, H. B. Curry And A. Fraenkel, And 28 Pp Of Reviews Of Important Recent Works, Including Church's Reviews Of Turing's Important…1936 Work On Computability, And Post's Independent Related Work Proposing "A Definition Of 1-Finite 1-Process' Which Is Similar In Formulation, And In Fact Equivalent, To Computation By A Turing Machine. The Present Paper Was Written Independently Of Turing's, Which Was At The Time In Press But Had Not Yet Appeared." A Clean, Lightly Used Copy, But With A Dampstain Along The Foredge Starting With A Trace At A 1/8" X 1/2" Area At The Upper Edge Of P 13 And Becoming Progressively Larger Until It Is 1/2" X 9" Along The Edge Of The Rear Cover.
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 44,78
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 39,00
EUR 63,09 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute thi…s work, as no entity (individual or corporate) has a copyright on the body of the work.Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface.We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,00
EUR 63,97 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work,… as no entity (individual or corporate) has a copyright on the body of the work.Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface.We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Verlag: Ansterdam North Holland Publ, 1958
- Hardcover
Anbieter: Antiquariat Bergische Bücherstube Mewes, Overath, DeutschlandAntiquariat Bergische Bücherstube Mewes
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 180,00
EUR 54,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorbfester Einband. XVI, 417 S. Ln.mS. *gutes Expl.*. Sprache: Englisch.
Verlag: North-Holland Publishing, 1974, 1974
- Hardcover
Anbieter: Antiquariaat Berger & De Vries, Groningen, NiederlandeAntiquariaat Berger & De Vries
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 225,00
EUR 20,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbBound in yellow cloth. 417 p. -good.-(Spine slightly sunned, naame in ink on the fly-leaf, but otherwise the book is in good condition.).
Verlag: North-Holland Amsterdam 1974, 1974
- Hardcover
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, DeutschlandAntiquariat Thomas & Reinhard
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 249,00
EUR 19,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbLeinen, dies sind regulär ausgesondertes Bibliotheksexemplare aus einer wissenschaftlichen Bibliothek, keine Markierungen/Anmerkungen, die Bücher sind in einem sehr guten Zustand --- Linen, Lib. Ex., no marks, the books arein a very good condition. Shipping to abroad insured with tracking number.
Anbieter: Moby Dick, Noordwijk, NiederlandeMoby Dick
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 15,00
EUR 49,10 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbUppsala University 1971 sewed, 104 pp Very good copy (code Sc-243).
- Softcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 757,76
Versand gratisVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den Warenkorb[No place], 1936. 8vo. Extract, unbound, unstapled. Pp. 103-105. The uncommon first printing of Post's seminal paper, in which he, simultaneously with but independently of Turing, describes a logic automaton, which very much resembles the Turing machine. The Universal Turing Machine, which is presented for the first time in Turi…ng's seminal paper in the Proceedings of the London Mathematical Society for 1936 (same year as the present paper), is considered one of the most important innovations in the theory of computation and constitutes the most famous theoretical paper in the history of computing. "Post [in the present paper] suggests a computation scheme by which a "worker" can solve all problems in symbolic logic by performing only machinelike "primitive acts". Remarkably, the instructions given to the "worker" in Post's paper and to a Universal Turing Machine were identical." (A Computer Perspective, p. 125). "The Polish-American mathematician Emil Post made notable contributions to the theory of recursive functions. In the 1930s, indepently of Turing, Post came up with the concept of a logic automaton similar to a Turing machine, which he described in the present paper [the paper offered]. Post's paper was intended to fill a conceptual gap in Alonzo Churchs' paper on "An unsolvable problem of elementary number theory" (Americ. Journ. of Math. 58, 1936). Church's paper had answered in the negative Hilbert's question as to whether a definite method existed for proving the truth or falsity of any mathematical statement (the Entscheidungsproblem), but failed to provide the assertion that any such definite method could be expressed as a formula in Church's lambda-calculus. Post proposed that a definite method would be written in the form of instructions to a mindless worker operating on an infinite line of "boxes" (equivalent to Turing's machine's "tape"). The worker would be capable only of reading the instructions and performing the following tasks. This range of tasks corresponds exactly to those performed by a Turing machine, and Church, who edited the "Journal of Symbolic Logic", felt it necessary to insert an editorial note referring to Turing's "shortly forthcoming" paper on computable numbers, and ascertaining that "the present article. although bearing a later date, was written entirely independently of Turing's" (p. 103)." (Origins of Cyberspace, pp. 111-12).Hook & Norman, Origins of Cyberspace, 2002: 355.Charles & Ray Eames, A Computer Perspective, 1973: 125.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 106,92
EUR 12,42 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
