Curry haskell (22 Ergebnisse)

Paperback. Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: Good. 8vo. 567 pp. Text in Russian. Very good, front hinge starting.

Stiff Paper Wrappers. Zustand: Good. First Edition. Notre Dame Mathematical Lectures Number 6. Black spine cover worn at ends. Stain at bottom of rear wrapper.

Paperback. Zustand: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock.

Softcover. Zustand: Gut. N.Y., Dover (1977). VIII, 407 p. Pbck. (back faded), title and last page stained, otherwise in good condition.

Hardcover. Zustand: new. Hardcover. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Paperback. Zustand: New.

Soft cover. Zustand: Good. 1st Edition. Actualités scientifiques et industrielles 1134. Broché, 25x16cm, 151p. Petit manque de appier aux coins de la couverture.

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.

Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Near Fine. 1st Edition. X, 257 Pp. Red Brown Cloth, Gilt. First Printing. Book And Dj Are Near Fine, Light Rubbing At Corners, Immaculate.

Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Very Good + Jacket. First UK Edition. Vii, 536 Pp. Blue Cloth, Gilt. First Uk Printing (1964). The Book Brings Together For The First Time An Extensive Collection Of Essays By Both Philosophers And Mathematicians On The Nature Of Mathematics; Philosophical Questions Are Discussed By Leaders In Each Field. The Selections Include The First English Translations Of Several Important Works, As Well As New Translations Of Others, And Several Articles Have Been Extensively Revised By Their Authors For This Anthology. Book Near Fine, Slight Usage. Dj Priced 63S. Net. With Slight Rubbing.…

Gr-8vo. 75 S. OKt. Einband etwas lichtrandig. Mit Besitzvermerk und Anstreichungen des deutschen Philosophen Georg Klaus (1912-1974). = Studies in Logic and the Foundations of Mathematics, Ed. Brouwer / Beth / Heyting.

Cloth. Zustand: Good. Zustand des Schutzumschlags: Good. Type: Book Small plain label inside cover.Some darkening, rubbing and chipping to d/j.

Hardcover. Zustand: Near Fine. very near Fine. First edition. 8vo. [5], vi-vii, [2], 2-75, [1] pp. Flexible paper boards replicating the design on the front panel and spine panel of the dust jacket (but omitting the list of series title on the rear panel). Presumably later dust jacket as the rear panel shows series titles from 1953 and 1954. An early volume in the long-running Studies in Logic and the Foundations of Mathematics series. Series editors L. E. J. Brouwer, E. W. Beth, and A. Heyting. Slater 229. Curry was one of the best-known logicians of the mid-twentieth century and was a pioneer in the field of combinatory logic. The present work was originally prepared for the famed Unity of Science conference held in Cambridge, MA in September 1939 and formed the basis of the paper that Curry presented there. A Near Fine book with a small sticker ghost on the free front endpaper.…

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

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.

Zustand: Lichtrandig. First Edition. Preface July 16, 1948, The Pennsylvania State College. 8°, viii, 126 p. with bibliograpy, kartoniert mit schwarzem Leinenrücken (Notre Dame Mathematical Lectures, Number 6). Lithoprinted in U.S.A., Edwards Brothers, Inc. and Arbor, Michigan. Contents: Preface / Notational Explanations / Introduction / Formal systems and formal reasoning / The finite positive connectives / Quantifiers / Negation / Modalities, Bibliography. Lang: englisch 300 g. …

Curry, Haskell B. (1900-1982). A new proof of the Church-Rosser theorem. Offprint from Konikl. Nederl. Akademie van Wetenschappen-Amsterdam, Proceedings, series A, 55 (1952). 16-23pp. Mimeographed errata slip laid in. 260 x 182 mm. Without wrappers as issued. Slight creasing but very good. First Edition, Offprint Issue. Curry's paper containing his new proof of the Church-Rosser theorem-which proves pure -calculus consistent-precedes by six years the proof he and Feys published in their major textbook Combinatory Logic (1958). Our copy includes the errata slip noting that "Professor M. H. A. Newman has called attention to the fact that the condition J2 does not apply to the lambda calculus. On account of this fact, the theorem in question, although presumably correct, does not have the intended application." .…