2.585 Ergebnisse
Best.-Nr. DADAX1133942288New unknown
Best.-Nr. DADAX0195091957New unknown
Best.-Nr. DADAX0198537689New unknown
Best.-Nr. DADAX027303345XNew unknown
Best.-Nr. DADAX0471950599New unknown
Best.-Nr. DADAX0030507936New unknown
1992Best.-Nr. R160218242Presses Universitaires de France. 1992. In-8. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 319 pages - quelques phrases soulignées au crayon à papier à l'intérieur du livre sans conséquence sur la lecture.. . . . Classification Dewey : 160-Logique
Best.-Nr. DADAX0792300424New unknown
Best.-Nr. SONG9048188113Used: Good unknown
1938Best.-Nr. 006438Philadelphia: Westbrook Publishing Company 1938. INSCRIBED by the author on the front pastedown endpaper: "To Prof. A. Church / Dec 14 '38 / With the profound respects of the / author / signed Irwin Biser." Very Good condition. A clean square tight copy. Hinges are perfect. Mild bend/crease at the bottom of the front board. Spine a little sunned. Bound in the original maroon cloth lettered in bright gold on the front cover. This is one of several dozen books from Alonzo Church's personal library that we were lucky enough to purchase at auction in New Jersey. Several of the books including this one contain a presentation inscription to him. A few others are signed by him -- please check our inventory. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. INSCRIBED / SIGNED by the AUTHOR. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. 155pp. Great Packaging Fast Shipping. Westbrook Publishing Company Hardcover
1973Best.-Nr. 005865Buenos Aires: Siglo XXI 1973. Inscribed by the author: "To Professor Alonzo Church with admiration and gratitude signed Thomas M. Simpson Bs. As. 10/5/73." Good condition. 13.5 cm x 20 cm. Spine has several reading creases. Errata slip laid-in. Bound in the original white pictorial wrappers. This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction. Several of the books including this one contain a presentation inscription to him. Alonzo Church 1903 - 1995 was professor of mathematics at Princeton University 1929-1967 and of mathematics and philosophy at UCLA 1967-1990. He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem Church's Thesis and the Lambda Calculus. His work was of major importance in mathematical logic recursion theory theoretical computer science and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences British Academy and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. For more on Church's contributions see items 250 251 321 394 and 533 in Hook and Norman's ORIGINS OF CYBERSPACE A LIBRARY ON THE HISTORY OF COMPUTING. INSCRIBED / SIGNED by the AUTHOR. Primera edicion en espanol. Softcover. Good condition. xvii 476pp. Great Packaging Fast Shipping. Siglo XXI Paperback
Best.-Nr. DADAX3030343154New unknown
Best.-Nr. DADAX0130399388New unknown
Best.-Nr. DADAX0495471690New unknown
1970Best.-Nr. ZB394721International Logic Review 1970. volumes 1-17 1970-1986 an uninterrupted run of complete volumes partly bound library markings else textually clean & tight PRICE IS FOR THE LOT. - 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. Photos available upon request. International Logic Review unknown
Best.-Nr. SONG0700713069Used: Good unknown
Best.-Nr. 6749, Rome / Paris, Le Raison, 1791.**, Relie de l' epoque, plein veau, cadre fleuronne dore sur les plats, dos orne dore, coupe et coiffes dore, titre dore sur etiquette noir, plats de papier marbre, 13x20cm, 244pp.
Best.-Nr. SONG0415400678Used: Good unknown
Best.-Nr. DADAX1573580864New unknown
Best.-Nr. DADAX0415313503New unknown
15868°; cc. 109, (2); xilografie nel testo; p. pergamena molle. Piccolo trattato di logica.
Best.-Nr. SONG0198537468Used: Good unknown
Best.-Nr. DADAX1855068168New unknown
Best.-Nr. DADAX0534000576New unknown
Best.-Nr. DADAX1071815970New unknown
