2,585 results
ref. DADAX3540749144New unknown
ref. DADAX0387948074New unknown
ref. DADAX0792384563New unknown
ref. DADAX1447145577New unknown
ref. DADAX364276276XNew unknown
ref. DADAX3642768016New unknown
ref. DADAX9400962916New unknown
1998ref. x-9810234325World Scientific Pub Co Inc 1998. Paperback. New. 356 pages. 12.28x8.96x0.78 inches. World Scientific Pub Co Inc paperback
ref. DADAX0262193388New unknown
ref. DADAX1930953135New unknown
ref. DADAX0495503835New unknown
ref. DADAX0072401893New unknown
1978ref. 006415Torino Italy: Societa Editrice Internazionale 1978. Near Fine condition. Bright shiny clean and tight. The spine is square and flat with NO creases. Pages are clean and unmarked. Bound in the original off-white wraps. 13 cm wide by 19 cm tall. This is one of 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 copy does not have those signs of his ownership. But please check our inventory for several others that do. However penciled on the title page are the words "personal copy rec April 1979" in what we believe is Professor's Church's hand. 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. Softcover. Near Fine condition. 368pp. Great Packaging Fast Shipping. Societa Editrice Internazionale Paperback
1967ref. 006416Bari Italy: Editori Laterza 1967. Near Fine condition in a Very Good dust jacket. 13.5 cm wide by 21.5 cm tall. A clean tight copy. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wraps with a black spine. The Dust Jacket is white printed in blue and black. No chips. No tears. Complete with printed errata-corrige sheet tipped-in. This is one of 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 copy does not have those 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. Softcover. Near Fine condition/Very Good dust jacket. 324pp. Great Packaging Fast Shipping. Editori Laterza Paperback
ref. SONG0792398920Used: Good unknown
1984ref. R100067005Armand Colin. 1984. In-8. Broché. Etat d'usage, Couv. partiel. décollorée, Dos satisfaisant, Intérieur frais. 366 pages - couverture contrepliée - 1er plat légèrement décoloré.. . . . Classification Dewey : 160-Logique
1974ref. R100069381Presses Universitaires de France. 1972-1974. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XX+304 pages + 392 pages + 322 pages.. . . . Classification Dewey : 160-Logique
1973ref. R100055909Librairie philosophique J.Vrin. 1973. In-8. Broché. Etat d'usage, Tâchée, Dos satisfaisant, Papier jauni. 316 pages - déchirures sur les contre plats.. . . . Classification Dewey : 160-Logique
1983ref. R100067488Presses Universitaires de France. 1983. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Papier jauni. 268 pages.. . . . Classification Dewey : 160-Logique
1971ref. R100067519Flammarion. 1971. In-8. Broché. Etat d'usage, Couv. convenable, Dos plié, Papier jauni. 348 pages.. . . . Classification Dewey : 160-Logique
ref. DADAX0190947616New unknown
ref. DADAX0199278342New unknown
1773Bassani, sed prostant Venetiis apud Remondini, 1773, in-8, legatura coeva in piena pergamena con tassello in pelle al dorso, titolo (abbreviato) al dorso, pp. XVI, 288. Fregio al frontespizio, iniziali, testate, finalini e due figure nel testo. in silografia. Quaderno C con carte invertite come serie numerica. (Sparse tracce di fori di tarlo che interessano solo l'interno dei piatti).
1828ref. 14816Bachelier Librairie parisienne | Paris & Bruxelles 1828 | 8.50 x 13.50 cm | relié
18802 voll. in 8° entro mezza pelle coeva dorso a quattro nervi con decorazioni e titolo in oro, pp. XXIV, (544); pp. XXII 561, (1); buon esemplare, lievissime fioriture alle sole pagine prossime alla legatura. (XE2) (XE2)
