Combinatory logic (28 Ergebnisse)

Zustand: New. In English.

Zustand: Good. 1974 printing, xvi, 417 pp., hardcover, ex library else text clean and binding tight . - 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 additional duties, taxes, or fees required by recipient's country.…

Softcover. 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.

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 adventure, 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. …

Paperback. 170 p. -(Some signs of use on the cover, name in ink on the title page, but overall in good condition.).

Zustand: New.

Zustand: New.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Zustand: Good. LMS lecture note series No. 7 The condition is almost very good.

Zustand: New. In English.

Paperback. Zustand: Brand New. 358 pages. 9.18x6.12x0.87 inches. In Stock.

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.

Zustand: New.

Hardcover. 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.

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 last 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.…

Zustand: New. In English.

Hardcover. Zustand: Brand New. 1st edition. 416 pages. 9.37x6.46x0.87 inches. In Stock.

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 Versandkosten 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).…

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.…

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 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.…

Gebunden. Zustand: New.

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.…

fester Einband. XVI, 417 S. Ln.mS. *gutes Expl.*. Sprache: Englisch.

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.).

Uppsala University 1971 sewed, 104 pp Very good copy (code Sc-243).

[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 Turing'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.…

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.…