417 résultats
1950023566Mexico: Universidad Nacional Autonoma de México 1950. INSCRIBED to Prof. Alonzo Church and SIGNED by the author "con los respetos de Zubieta R." Very Good condition. This dissertation/tesis was reviewed by Robert Feys in Church's Journal of Symbolic Logic Volume 15 Issue 3 1950 200. From Matemáticos en Mexico: "El trabajo de Zubieta pronto cruzó la frontera. Por sugerencia de Quine éste fue presentado a Alonzo Church4 quien invitó a Robert Feys lógico de la universidad de Lovaina a presentar un comentario sobre el mismo en el Journal of Symbolic Logic a la sazón la revista de mayor prestigio en el área de lógica. En 1953 Zubieta fue a Princeton para ocupar el cargo de ayudante de investigador de Alonzo Church quien alguna vez diría de Zubieta que era el único lógico latino que escribía con rigor. Church lo cita en la introducción de su libro5 por sus observaciones y participación en el proyecto." 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. vi 35pp. Great Packaging Fast Shipping. Universidad Nacional Autonoma de México Paperback
1933ROD0031389Editions des Portiques. 1933. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur bon état. 241p.. . . . Classification Dewey : 160-Logique
1953006410Princeton New Jersey:: Princeton University Press 1953. SIGNED BY ALONZO CHURCH. Very Good condition with remnants of dust jacket laid-in. A clean square copy. Hinges are perfect. Mild corner bumps not affecting any text. Pages are clean. No foxing. No underlining. No highlighting. No margin notes. Translated by Derk Bodde with introduction notes bibliography and index. First printing with "First published 1953" so stated on the copyright page. Bound in the original black cloth lettered in shiny gold on the spine. This copy is from the library of Alonzo Church and bears his ink signature on the title page. This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Quite a few contain his signature or a presentation inscription to him. Please check our inventory. 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. SIGNED BY ALONZO CHURCH. First Edition. Hardcover. Very Good condition./Remnants of DJ laid-in. 8vo. ix 396pp. Great Packaging Fast Shipping. Princeton University Press Hardcover
1961191987Gallimard Éditions Gallimard, 1961. In-8 broché (22,5 x 14 cm) de 364 pages. Collection "Bibliothèque des Idées". Traduit de l'allemand par Pierre Klossowski. Introduction de Bertrand Russell. Couverture un peu salie en bord, sinon bon état
1932F36959Antwerpen/ Brussel/ Leuven, Standaard-Boekhandel 1932 217pp., goede staat, F36959
1976100147023Blackwell Publishers 1976 190 pages 14 6x22 3x2cm. 1976. Cartonné jaquette. 190 pages.
1986PHIL1762Vienna, Hölder-Picher-Tempsky 1986. gr.-8°, IX, 191 S., 3 nn. S. Vlgsanz., lam. OPpbd., nur geringe Gebrauchsspuren. In Englisch.
1936006436New York: Harcourt Brace and Company 1936. Very Good condition. A clean tight copy. Hinges are perfect. No owner's name or bookplate. No underlining. No highlighting. No margin notes. Publisher's "Review Copy" ink stamp on front endpaper which indicates the book was to be published Feb 11 1937 at $3.75. From the INTERNATIONAL LIBRARY OF PSYCHOLOGY PHILOSOPHY AND SCIENTIFIC METHOD series. Bound in the original dark 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. From Introduction: "In the course of this study I shall expound and criticize the theories and methods of Logical Positivism in an order of presentation which seems best suited to represent them with utmost fairness. I shall present the logical foundation of Positivism first. Then the applications of the method of analysis to mathematics and natural science will follow. Next I shall treat of the elimination of metaphysics and the consequence of this. All of this will be preparatory to the consideration of a specific case of positivistic analysis which presents a theory of knowledge free from metaphysics. This is the LOGISCHER AUFBAU DER WELT of Rudolf Carnap. Then I shall present the doctrine of Physicalism as a separate philosophical system. The study will be concluded by a theory of language which seems to me to overcome the difficulties of both Logical Positivism and Radical Physicalism." . First Edition. Hardcover. Very Good condition/No dust jacket. 8vo. vii 311pp. Great Packaging Fast Shipping. Harcourt, Brace and Company Hardcover
1997100137762MIT Press 1997 391 pages 15 494x3 048x23 114cm. 1997. Cartonné jaquette. 391 pages.
1971R100067519Flammarion. 1971. In-8. Broché. Etat d'usage, Couv. convenable, Dos plié, Papier jauni. 348 pages.. . . . Classification Dewey : 160-Logique
195191874Friburgi (= Freiburg): Herder 1951. X, 181 Seiten. Gr. 8° (22,5-25 cm). Orig.-Leinenband mit Goldprägung. [Hardcover / fest gebunden].
1975R100062581Presses Universitaires de France. 1975. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Intérieur frais. 128 pages.. . . . Classification Dewey : 160-Logique
19931256431993 Librairie Philosophique J. Vrin - Collection "Mathesis" dirigée par Michel Blay et Hourya Sinaceur - 1993 - In-8 broché, couverture illustrée - 509 pages
1994100136327Cambridge University Press 1994 319 pages 15 5x22 7x2 5cm. 1994. Broché. 319 pages.
1966F106990Padova, Cedam 1966 162pp., in the series "Archivio di Filosofia", 25cm., original softcover, pages still uncut, text and interior are clean and bright, contains contributions in Italian and French, F106990
1960F62507Firenze, Sansoni 1960 vii + 553pp., softcover, 25cm, G, pages uncut
1960F62506Firenze, Sansoni 1960 vii + 421pp., softcover, 25cm, G, pages uncut
19771222651977 Editions Chêne - 1977 - Petit in-4, cartonnge toil noir, titre blanc au dos, SANS jaquette - 200 pages - Très nombreuses illustrations en couleurs et en N&B in-texte
1988100147087Bollati Boringhieri 1988 172 pages 38x564x373cm. 1988. Broché. 172 pages.
1973R300323677Lib. Philosophique J. Vrin. 1973. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Intérieur acceptable. 316 pages.. . . . Classification Dewey : 160-Logique
19811259681981 Dover Publications, Inc., New York - 1981 - In-8 broché, couverture illustrée - 197 pages
1981161518Edinburgh: Edinburgh University Press 1981. X, 244 Seiten. 8° (17,5-22,5 cm). Orig.-Leinenband mit goldgeprägtem rotem Rückenschild sowie mit Orig.-Schutzumschlag. [Hardcover / fest gebunden].
19662091202133001933Kawade Shobo Shinsha 1966. Soft Cover. Fine. Number of books: 1 Kawade Shobo Shinsha paperback
1959508<p><strong>Large Octavo. Publisher's cloth & dustwrapper. First edition first printing of one of the most significant works on the philosophy of science. The Logic of Scientific Discovery was originally published in Germany in 1934 and Popper rewrote and republished it in English in 1959 with the New York edition preceding this much rarer UK edition. A fine copy in an unclipped slightly worn and faded very good dust wrapper. Small inscription on the front pastedown of David Keyt 1930-2025 Professor Emeritus of Philosophy at Washington University Seattle. The book is mostly unopened and looks mostly unread. A very nice copy. Popper argues that science should adopt a methodology based on falsifiability because no number of experiments can ever prove a theory but a reproducible experiment or observation can refute one. According to Popper: "non-reproducible single occurrences are of no significance to science. Thus a few stray basic statements contradicting a theory will hardly induce us to reject it as falsified. We shall take it as falsified only if we discover a reproducible effect which refutes the theory". Popper argues that science should adopt a methodology based on "an asymmetry verifiability and falsifiability; an asymmetry which results from the logical form of universal statements. For these are never derivable from singular statements but can be contradicted by singular statements".</strong></p> Hutchinson hardcover
19652091202133001747Chiku ma shobo 1965. Soft Cover. Fine. Number of books: 1 Chiku ma shobo paperback
