416 résultats
1998001037Hackensack New Jersey U.S.A.: World Scientific Pub Co Inc 1998 Book falls away at the spine at page 19. Inscription to the previous owner on the first page. Text is clean. Cloth. Good/Good. World Scientific Pub Co Inc hardcover
2000100133735JACQUES GABAY 2000 3x24x17cm. 2000. Broché.
19931256431993 Librairie Philosophique J. Vrin - Collection "Mathesis" dirigée par Michel Blay et Hourya Sinaceur - 1993 - In-8 broché, couverture illustrée - 509 pages
1962009111Bruxelles: 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
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
1981009076Dordrecht 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
1951014377S.l. S.n. 1951 In-4 En feuilles
1953009122Helsinki 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
1967R100051086Presses universitaires de France. 1967. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Intérieur acceptable. 370 pages - couverture jaunie.. . . . Classification Dewey : 160-Logique
1934AB10-1199Philadelphia, [1934 [i.e. 1936] = 1936. original Broschur, 8?, 2 p. l., p. 139-163, 67-89, 375-417. : diagrs.; binding a bit foxed otherwise a good copy
1999100124467BRISTOL CLASSICAL PR 1999 2 pages 16 2x2 2x23 8cm. 1999. Relié. 2 pages.
1955F119074St. Bonaventure, The Franciscan Institute 1955 xvi + 264pp., 23cm., in the series "Franciscan Institute Publications. Text series" no.9, softcover, small label at lower end of spine, text is clean and bright, good condition, [Introduction in English, Text edition in Latin], F119074
1965100137841Yale University Press 1965 342 pages 13 1x20 4x2 1cm. 1965. Broché. 2 volume(s). 342 pages.
1963F116940Louvain/ Paris, (Béatrice)-Nauwelaerts 1963 614pp. + frontispice (portrait de prof. Ch. Perelman), 24cm., brochure originale, publié dans "Logique et analyse. Nouvelle série" 6e année nos.21 à 24, bon état, F116940
1959F117305Brussel, Paleis der Academiën 1959 volledig in 2 delen: viii + 889pp., 26cm., in de reeks "Verhandelingen van de Koninklijke Vlaamse Academie voor Wetenschappen, Letteren en Schone Kunsten van België. Klasse der Letteren" nr.34, fraai ingebonden in solide en uniforme gecart. banden, roodlinnen ruggen met titel in goudopdruk, goede staat, gewicht: 2.3kg., F117305
1964MATH0248Wien, Mchn., Oldenbourg (1964). 4°, 74 S., mit rotem Klebeband u. Tixoband am Rücken verklebt, Titel u. Widmungseite am Seitenschnitt m. Tixo verstärkt, einige Knickspuren, 2 Seiten m. kl. Ausriss am Seitenschnitt, papierbed. gebräunt.
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
1998100137763Harvard University Press 1998 443 pages in8. 1998. Cartonné jaquette. 443 pages.
1998153796Indiana University Press. 1992, 1998. XLI, 399 und XXXVIII, 584 S. 23,5*15 cm. OBroschuren.
1937F117008Firenze, La Nuova Italia 1937 xx + 469pp., edition limited to 1500 numbered copies : this is no.619, original softcover, most pages are still uncut, text in Italian, good condition, 22cm.,
1966F104898The Hague, Martinus Nijhoff 1966 xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898
197419444Braunschweig, Vieweg, 1974. Original cloth. IXX, 336 pp.
1963009107México: Universidad Nacional Autónoma De México Centro De Estudios Filosoficos 1963. Near Fine condition. 14 cm x 22.5 cm. Bound in the original brown wrappers. NO owner's name or bookplate. Pages are clean and unmarked. This booklet contains four papers on Edmund Husserl principal founder of phenomenology and his notion of lebenswelt life world -- 1 in Spanish 2 in German and 1 in English. XIII Congreso Internacional De Filosofia México D.F 7-14 De Septiembre De 1963. Proceedings of the XIIIth International Congress of Philosophy. 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 Primera edición. Softcover. Near Fine condition. ii 95pp. Great Packaging Fast Shipping. Universidad Nacional Autónoma De México Centro De Estudios Filosoficos Paperback
1977009092Wroclaw Poland: Wydawnictwo Uniwersytetu Wroclawskiego 1977. Very Good condition. 16.5 cm x 23.5 cm. Bound in the original green wrappers a little rubbed at the edges. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. Text in Polish except for a 2 page summary in French which has a brief margin note in pencil that appears to be in Professor Church's handwriting. Matematyka Fizyka Astronomia XXI. Tables. Graphs. 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 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. Very Good condition. 101pp. Great Packaging Fast Shipping. Wydawnictwo Uniwersytetu Wroclawskiego Paperback
1975PHIL1763Ldn., Ontario (1975). 4°, XXV, insges. 422 S., 6 S. Index, OKart., stärker abgegriff., kl. Braunfl. auf Vorderdeck., schwache Knickspuren, aufgelesen, etliche Seiten m. Randläs., Stellspuren.
