The Gospel In The Trees: With Pulpit Opinions On Common Things 1868
réf. 1166183696.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Bonita · États-Unis57,63 $US≈ 51,39 €
154 résultats
1985réf. 009106Bucuresti Romania: Universitatea din Bucuresti Facultatea de Matematica 1985. Very Good condition. 17 cm x 24 cm. Bound in white wrappers stamped in blue and black. NO owner's name or bookplate. Pages are clean and unmarked. This issue contains 11 papers -- 8 in English 3 in French. List of bibliographical references after each article. 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. Softcover. Very Good condition. 103pp. Great Packaging Fast Shipping. Universitatea din Bucuresti, Facultatea de Matematica Paperback
réf. 1166183696.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 1240054688.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 1390138763.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 1931209510.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 0366736132.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 0915845008.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 1120133882.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 1797183524.GaudioCD. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. unknown
réf. 1166475190.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 1346483523.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
réf. 1678067857.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 1904987060.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 0365872504.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1962réf. 009111Bruxelles: Office International de Librairie 1962. SEE OUR PHOTOS. Very Good condition. 16 cm x 25 cm. A solid copy -- square and tight. Bound in the original tan-color paper wrappers mildly sunned at the edges. Stamped in red and black. NO owner's name or bookplate. Final page of text has a tiny corner stain. Otherwise pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Archives De L'Institut International Des Sciences Théoriques 11. Introduction by S. Dockx and 10 papers -- 9 in French 1 in German by P. Bernays. Contributions by F. Gonseth L. Rosenfeld V. Tonini M.-A. Tonnelat J.-L. Destouches L. Brillouin O. Costa de Beauregard I. Prigogine and H. Freudenthal. Includes: Le conflit épistémologique entre Einstein et Bohr by L. Rosenfeld. 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. 128pp. Great Packaging Fast Shipping. Office International de Librairie Paperback
1963réf. 009112Bruxelles: 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
réf. 167611paperback. 349 pages. Thick 8vo original gray printed wrappers. Louvain Nauwelaerts 1968. Ownership signature on title page otherwise fine. unknown
1981réf. 009076Dordrecht Holland / Boston U.S.A.: D. Reidel Publishing 1981. Near Fine condition. 15 cm x by 23 cm. A very nice copy but for a little age-toning to the front wrapper. NO underlining. NO highlighting. NO margin notes. Metaphysics of Epistemology. Metaphilosophy. This is an offprint of MENTAL EVENTS by the influential American philosopher Wilfrid Stalker Sellars 1912-1989. It originally appeared in PHILOSOPHICAL STUDIES 39 1981 pp. 325-345. This offprint i.e. a reproduction of an article that was originally contained in a larger publication appears to have been produced by the original publisher D. Reidel and has a printed price of $2.10. 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 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. offprint. Softcover stapled wraps. Near Fine condition. pp. 325-345. Great Packaging Fast Shipping. D. Reidel Publishing Paperback
réf. 1543459609.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
réf. 1848900872.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1953réf. 009122Helsinki Finland: Societas Philisophica 1953. Very Good condition. 17.5 cm x 25 cm. A solid copy. Bound in the original paper wrappers a little rubbed and mildly sun-darkened at the spine. NO owner's name or bookplate. Pages are white clean and unmarked. Entirely in English. Bibliographical references. Complete with page of corrections. Very early work by the Finnish philosopher and logician Jaakko Hintikka -- currently Professor of Philosophy at Boston University. Regarded by many as the founder of formal epistemic logic and of game semantics for logic Hintikka has made significant contributions to epistemology language theory mathematical logic philosophical logic the philosophies of mathematics and science. He was awarded the Rolf Schock prize in logic and philosophy in 2005 "for his pioneering contributions to the logical analysis of modal concepts in particular the concepts of knowledge and belief." 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. Softcover. Very Good condition. 73pp. Great Packaging Fast Shipping. Societas Philisophica Paperback
2013réf. 040043BINARY LOGIC SA 2013. paperback. New. 11x8x0. NEW!I ship Worldwide from Puerto Rico USA. Listing Includes Books Image . Please email me if you need to see more pictures! The orders are processed promptly carefully packaged and shipped within 1 day of purchase. PLEASE NOTE! if you need the book quickly please Purchase Priority Shipping. Media will not show updates in mail confirmation till reaches continental U.S. BINARY LOGIC SA paperback
réf. ria9780198758396_inpPaperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Offers the first overarching history of the humanities from Antiquity to the present. paperback
réf. 4172845-nnew. unknown
1955réf. 009117Paris / 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
