Jarden dov editor (2 risultati)
Editore: Riveon Lematematika, Jerusalem, Israel, 1954
- Rilegato
- Prima edizione
Da: About Books, Henderson, NV, U.S.A.About Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 175,83
EUR 6,08 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Fair condition. First Edition. Jerusalem, Israel: Riveon Lematematika, 1954. A reading/reference copy. Fair condition. PHOTOS UPON REQUEST. Edges of the cover are rubbed. Exterior hinges are secure. Inner hinges are cracked. Front inner hinge has separated from the text block. Paper is age-toned but clean…and unmarked. Volume 8 only. 1954. Multiple languages, Hebrew. Table of contents also in English; text in Hebrew with English summaries. Bound in the original decorated paper-covered boards, with a blue cloth spine. Stamped in bright and shiny gold on the spine and cover. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature, or a presentation inscription to him. Unfortunately, this volumes does not have signs of his ownership. [But please check our inventory for several others that do]. 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.]. First Edition. Oversize Hardcover. Fair condition. Illus. by NOT a library discard. 86pp. Great Packaging, Fast Shipping. NOT a library discard (illustratore).
Editore: Riveon Lematematika, Jerusalem, Israel, 1953
- Rilegato
- Prima edizione
- Firmato
Da: About Books, Henderson, NV, U.S.A.About Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 626,69
EUR 6,08 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Fair condition. First Edition. Jerusalem, Israel: Riveon Lematematika, 1953. From the library of, and SIGNED on the title page by ALONZO CHURCH. "Received May 9, 1953" is penned in his hand, above his signature. A reading/reference copy. Fair condition. PHOTOS UPON REQUEST. Edges of the cover are rubbed. E…xterior hinges are secure. Inner hinges are cracked and separated from the text block. Title pages (English, and Hebrew) are age-toned. All other pages are bright white, clean and unmarked. Volume 6 only. 1952-53. Multiple languages, Hebrew. Table of contents also in English; text in Hebrew with English summaries. Bound in the original decorated paper-covered boards, with a blue cloth spine. Stamped in gold on the spine and cover. Among the contributions to this volume is a problem proposed by Baruch Germansky. Church' s signed review of it was published in JOURNAL OF SYMBOLIC LOGIC (Volume 18, Issue 3, September 1953, p. 263). A copy of the review is laid-in (published online by Cambridge University Press). This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. This is one of several of the books that contain his signature. [Please check our inventory for several others]. 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.]. SIGNED BY ALONZO CHURCH. First Edition. Oversize Hardcover. Fair condition. Illus. by NOT a library discard. 86pp. Great Packaging, Fast Shipping. NOT a library discard (illustratore).