145 résultats
1998x-3540650741Springer Verlag 1998. Paperback. New. 1998 edition. 342 pages. 9.25x6.00x0.75 inches. Springer Verlag paperback
1992SONG0262510642MIT Press 1992-10-27. paperback. Used: Good. 7.25x1.75x9.00. Buy with confidence. Excellent Customer Service & Return policy. MIT Press paperback
196500006802Cambridge: Cambridge University Press 1965. First printing. Hardcover. Very Good/Very Good. 8vo. 6 v-ix 1 1-232 pp. Bound in green cloth with gold lettering title and author's last name in gilt blocked in maroon on the spine. Price of $7.50 on front flap of jacket. Slater 366. A presentable copy of Hacking's first book. A Very Good book with some underlining throughout the text with a name on the front pastedown and a few tiny spots of discoloration to the textblock in a Very Good dust jacket with traces of edge wear on the rear panel and two small spots of discoloration on the rear panel of the jacket. Cambridge University Press hardcover
1997x-3540629637Springer Verlag 1997. Hardcover. New. 394 pages. 9.75x6.75x1.00 inches. Springer Verlag hardcover
0444893415.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
20052-1568812485A K Peters Ltd 2005. Paperback. New. illustrated edition. 496 pages. 8.75x6.00x1.25 inches. A K Peters Ltd paperback
61187424A.K. Peters Limited pp. 350 . Papeback. New. A.K. Peters, Limited unknown
1997x-0792345606Kluwer Academic Pub 1997. Hardcover. New. 232 pages. 10.00x6.75x0.75 inches. Kluwer Academic Pub hardcover
19662091202133001933Kawade Shobo Shinsha 1966. Soft Cover. Fine. Number of books: 1 Kawade Shobo Shinsha paperback
0366736132.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1955009117Paris / Louvain: Gauthier-Villards / Nauwelaerts 1955. Very Good condition. 16.5 cm x 25 cm. A solid copy -- square and reasonably tight. Bound in the original paper wrappers a little sun-faded at the edges. NO owner's name or bookplate. Pages are clean and unmarked but for a tiny ink mark in the margin only of a few pages at the end. Collection de logique mathematique série A No. I. The first page has one small ink stamp: "HOMMAGE DE L'AUTEUR." This is one of several dozen books and periodicals 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 the Church-Turing 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. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. 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. Deuxième édition revue et augmentée. Softcover. Very Good condition. xv 243pp. Great Packaging Fast Shipping. Gauthier-Villards / Nauwelaerts Paperback
1963009112Bruxelles: Office International de Librairie 1963. Very Good condition. 17 cm x 24 cm. A solid copy -- square and tight. Bound in the original paper wrappers stamped in red and black. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Théoriques 12. Introduction and 8 papers -- 7 in French 1 in German by Bernhard Rensch. Some discussion and summaries are in English. Contributions by Stanislas Dockx; Léon Brillouin; Valerio Tonini; Olivier Costa de Beauregard; Marius Jacob Sirks; Dominique Henri Salman; Hendrik Pieter Wolvekamp. Bibliographical references. This is one of several dozen books and periodicals 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 the Church-Turing 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. Church was first to demonstrate that David Hilbert's Entscheidungsproblem was unsolvable. It was Church who coined the phrase "Turing machine" for Alan Turing's hypothetical universal computing machine. 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 première édition. Softcover. Very Good condition. 179pp. Great Packaging Fast Shipping. Office International de Librairie Paperback
0365872504.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1967006416Bari 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
1967009065Bari 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
1963023564Berlin: Druck: Ernst-Reuter-Gesellschaft 1963. Inscribed to Professor ALONZO CHURCH and signed "Cordially M. Laserna." with his address in Bogota Columbia penned in ink at the bottom of the title page. PHOTOS UPON REQUEST. Very Good condition. Thesis/dissertation : German and English. From Wikipedia: "Mario Laserna Pinzón August 21 1923 July 16 2013 was a Colombian educator and politician born in Paris of Colombian parents. Laserna Pinzón is credited for being the founder of the Los Andes University in Bogotá which was incorporated in 1948 and is a private institution modeled on the United States liberal arts educational system. He obtained a Master's degree at Princeton University probably where he met Prof. Alonzo Church and to study German and philosophy at the University of Heidelberg in Germany and he later obtained a Doctorate at the Free University of Berlin. For his life's work he was awarded a Doctorate Honoris Causa by Brandeis University. He also served as Senator of Colombia and Ambassador to France and Austria and is an author of several books. Because of his life's work and contribution to the country President Álvaro Uribe Vélez honored him with the Order of Boyacá in the Rank of the Grand Cross the highest civilian honour bestowed by the Republic of Colombia." This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. 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. First Edition. Softcover. Very Good condition. Illus. by NOT a library discard. 179pp. Great Packaging Fast Shipping. Druck: Ernst-Reuter-Gesellschaft Paperback
1145542Basic Books Inc 1959. 1st American edition. Hard cover. Very good/Very good. Jacket is worn and tanned on top edge but text and images are clear and bright. Cover is in great condition. Binding is tight. Inside is clean and unmarked. Basic Books, Inc unknown
19932091202133209046Otsukishoten 1993. Soft Cover. Fine. Volume: 1 Otsukishoten paperback
1940006437New York: Henry Holt and Company 1940. Very Good condition. A clean square tight copy. Hinges are perfect. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Review Copy with publisher's printed ad on the front pastedown endpaper saying the book is "a new and impressively different introductory text." and listing $3.40 as the price. Bound in the original bluish-green cloth lettered in gold on the spine. 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. Hardcover. Very Good condition/No Jacket. 8vo. xii 428pp. Great Packaging Fast Shipping. Henry Holt and Company Hardcover
0850122082New. paperback. New. Satisfaction Guaranteed or your money back. paperback
1970ZB394721International 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
