Combinatory logic (26 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 21,70
EUR 13,89 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
EUR 15,00
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. 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.
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
Paperback. 170 p. -(Some signs of use on the cover, name in ink on the title page, but overall in good condition.).
- Softcover
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 83,40
EUR 7,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New.
- Hardcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 90,18
EUR 3,94 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good. 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 ordered. We are not bookjackers. Buyer is responsible for any addit…ional duties, taxes, or fees required by recipient's country. Photos available upon request.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 28,56
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: Optimon Books, Gravesend, KENT, Vereinigtes KönigreichOptimon Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 81,19
EUR 20,87 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. THERE ARE NO TARIFFS OR CUSTOMS DUTIES ON BOOKS. 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,18
EUR 13,89 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 114,77
EUR 14,49 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 86,96
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 31,82
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
EUR 134,35
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. 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 118,40
EUR 63,30 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 218,87
EUR 13,89 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 280,08
EUR 14,49 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.
Sprache: Englisch
Verlag: Association for Symbolic Logic, Menasha / Ann Arbor 1937
- Softcover
- Erstausgabe
- Zeitschrift
Anbieter: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, USAArroyo Seco Books, Pasadena, Member IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 596,06
EUR 7,00 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Grey 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,57
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 39,58
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,68
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.
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
fester 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
Bound 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
Leinen, 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 4 SternenZustand: Gebraucht
EUR 15,00
EUR 49,10 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Uppsala 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,87
Versand nach gratisVersand von Dänemark nach USAAnzahl: 1 verfügbar
[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.
- 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 2.755,91
Versand nach gratisVersand von Dänemark nach USAAnzahl: 1 verfügbar
Wisconsin, The Association for Symbolic Logic, 1936. Lev8vo. Entire volume one of "Journal of Symbolic Logic" (i.e. number 1-4), March, June, September, December 1936) BOUND WITH ALL THE ORIGINAL WRAPPERS in a blue half cloth with gilt lettering to spine. Crossed-out library paper-label to lower part of spine and top left corner… of front board. Two library stamps (in Chinese) to back of front free end-paper. Chinese library-stamp (red) and stamped inventory-number lower part of all four front wrappers. Minor bumping to lower corner of nr. 4, otherwise internally a very fine and clean copy of the entire volume. [Church:] Pp. 40-1" 101-2. [Post:] Pp. 103-5. [Entire volume: 218 pp.]. First publication of Church's seminal paper in which he proved the solution to David Hilbert's "Entscheidungsproblem" from 1928, namely that it is impossible to decide algorithmically whether statements within arithmetic are true or false. In showing that there is no general algorithm for determining whether or not a given statement is true or false, he not only solved Hilbert's "Entscheidungsproblem" but also laid the foundation for modern computer logic. This conclusion is now known as Church's Theorem or the Church-Turing Theorem (not to be mistaken with the Church-Turing Thesis). The present paper anticipates Turing's famous "On Computable Numbers" by a few months. "Church's paper, submitted on April 15, 1936, was the first to contain a demonstration that David Hilbert's 'Entscheidungsproblem' - i.e., the question as to whether there exists in mathematics a definite method of guaranteeing the truth or falsity of any mathematical statement - was unsolvable. Church did so by devising the 'lambda-calculus', [.] Church had earlier shown the existence of an unsolvable problem of elementary number theory, but his 1936 paper was the first to put his findings into the exact form of an answer to Hilbert's 'Entscheidungsproblem'. Church's paper bears on the question of what is computable, a problem addressed more directly by Alan Turing in his paper 'On computable numbers' published a few months later. The notion of an 'effective' or 'mechanical' computation in logic and mathematics became known as the Church-Turing thesis." (Hook & Norman: Origins of Cyberspace, 250) The volume also contains 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 Turing's seminal paper in the Proceedings of the London Mathematical Society for 1936, 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, independently 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).Even though Post's work to some degree has been outshined by Turing's, the present paper is of seminal importance in the history of the foundation for modern computer logic and the ideological basis for the modern computer.The volume also contains the following important papers by W. V. Quine:1. Toward a Calculus of Concepts. Pp. 2-25.2. Set-theoretic Foundations for Logic. Pp. 45-57.Hook & Norman, Origins of Cyberspace, 2002: 250 + 356 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,22
EUR 12,34 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: 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.
