curry haskell (22 Ergebnisse)

Paperback. Zustand: Gut. 129 S.; Ill. Good condition. Cover worn. Front joint / binding brownstained. Sprache: Englisch Gewicht in Gramm: 375.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.99.

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

Hardcover. unabridge and corr. republication. 408 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. A00430 486634620 Sprache: Englisch Gewicht in Gramm: 550.

Zustand: New. 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.

Zustand: New. In.

1st edn. 8vo. Original black lettered lettered yellow cloth (VG). Pp. vii + 75 (previous owner's neat inscription on front free endpaper).

XII 408 S. Reg, HLn.mS * gutes Expl.*.

Gebundene Ausgabe. Zustand: Befriedigend. eng. XII, 408 S., In english language. Hardback with boards of original publishers cloth, title to spine and cover, without dust jacket. Former library copy with external labelings removed from boards. Boards rubbed or slightly bumped, page edges and margins slightly darkened, otherwise with clean text and well kept. Signature stamps on endpapers and title. + + + Originalleineneinband mit Rückenbetitelung, ohne Schutzumschlag. Ordentlich ausgesondertes Bibliotheksexemplar mit entfernten äußerlichen Kennzeichnungen. Einband berieben oder leicht bestoßen, Schnitt und Seitenränder etwas nachgedunkelt, sonst augenscheinlich textsauber und gepflegt. Signatur- / Entwidmungsstempel a. Vorsatz u. Titel. Werktäglicher Versand. Jede Lieferung m. ordentl. Rechnung und ausgew. MwSt. Der Versand erfolgt als Büchersendung / Einschreiben mit der Deutschen Post bzw. als Päckchen / Paket mit DHL. Die Lieferzeit ist abhängig von der Versandart und beträgt innerhalb Deutschlands 3-5 Tage, in der EU 5 - 12 Tage. KEIN Versand an Packstationen. Körperschaften und juristische Personen werden auf Wunsch per offener Rechnung beliefert. Sprache: Englisch Gewicht in Gramm: 550.

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

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

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

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

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.

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

Zustand: VG. Indiana 1957 Notre Dame Mathematical Lectures Number 6. Octavo, 129pp., stiff wraps with cloth spine. VG.

Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: 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.

Curry, Haskell B. (1900-1982). A new proof of the Church-Rosser theorem. Offprint from Konikl. Nederl. Akademie van WetenschappenAmsterdam, 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 theoremwhich proves pure -calculus consistentprecedes 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." .