Logic of Computation
1997ref. x-3540629637Springer Verlag 1997. Hardcover. New. 394 pages. 9.75x6.75x1.00 inches. Springer Verlag hardcover
Revaluation Books · Reino Unido£ 119,82≈ € 143,11
2.194 resultados
ref. DADAX0226435296New unknown
1997ref. x-3540629637Springer Verlag 1997. Hardcover. New. 394 pages. 9.75x6.75x1.00 inches. Springer Verlag hardcover
ref. SONG0470688475Wiley 2011-04-25. 3. hardcover. Used: Good. 7.00x1.30x9.70. Buy with confidence. Excellent Customer Service & Return policy. Wiley hardcover
ref. DADAX0471469459New unknown
ref. DADAX019515505XNew unknown
ref. DADAX0195138295New unknown
ref. 4170654-nnew. unknown
1967ref. 009065Bari 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. Sharp corners. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wrappers with a black paper spine. The lightly rubbed Dust Jacket is white printed in blue and black. 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. DADAX0195117158New unknown
ref. DADAX3642768016New unknown
ref. DADAX0262193388New unknown
ref. DADAX0495503835New 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. 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
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. SONG3540880763Springer 2009-01-17. 2009. hardcover. Used: Good. 6.30x0.50x9.40. Buy with confidence. Excellent Customer Service & Return policy. Springer hardcover
ref. DADAX0190947616New unknown
ref. DADAX0199278342New unknown
1996ref. 100137761Oxford Univ Pr 1996 288 pages in8. 1996. Cartonné. 288 pages.
