de Rouilhan PhilippeLivre Rare Book
417 résultats
1988R100062579Les éditions de minuit. 1988. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Papier jauni. 210 pages - étiquette collée sur le 2eme plat.. . . . Classification Dewey : 160-Logique
1965RO30331283Presses universitaires de France. 1965. In-8. Broché. Etat passable, Couv. légèrement passée, Dos plié, Intérieur acceptable. 429 pages. Légèrement désolidarisé. Notes au crayon en page de faux titre. Coins frottés.. . . . Classification Dewey : 160-Logique
1969R100059182Payot. 1969. In-12. Broché. Etat d'usage, Coins frottés, Dos plié, Papier jauni. 252 pages.. . . . Classification Dewey : 160-Logique
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
1983R100067488Presses Universitaires de France. 1983. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Papier jauni. 268 pages.. . . . Classification Dewey : 160-Logique
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
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.
195946888(No place), The Association for Symbolic Logic, 1959. 8vo. Wrappers blank with printed title on spine. Entire issue No. 1 of vol. 24, offered. Fine and clean.
1994F108789Berlin, 1994 216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789
195946888No place The Association for Symbolic Logic 1959. 8vo. Wrappers blank with printed title on spine. Entire issue No. 1 of vol. 24 offered. Fine and clean. <br/><br/><em>The seminal first printing of Kripke's debut article which provided the basis for his logic and for the model theory for modal logic in general. The work constitutes the very beginning of Kripke Semantics often called possible world semantics. Kripke's works in general are rare in fist editions. Many of them remain unpublished and are only known in privately circulated manuscripts.The American philosopher Saul A. Kripke born 1940 is an exceedingly important logician and philosopher of language and one of the most powerful and influential thinkers of analytic and Anglo-American philosophy. He is considered the greatest living philosopher and perhaps the greatest since Wittgenstein. In 2001 he was awarded the Schock Prize in Logic and Philosophy which is considered the philosopical equivalent of the Nobel Prize.Kripke who grew up in Omaha in a religious Jewish family was somewhat of a prodigy child. During grammar school he got intimately acquainted with and mastered to perfection algebra geometry and calculus and very early on he took up philosophy which later became his career. Still a teenager in high school he wrote a work that was to change the face of philosophical logic forever namely the groundbreaking paper "A Completeness Theorem for Modal Logic" which was printed a few years later in 1959 in the Journal of Symbolic Logic while he was in his first year at Harvard University. This seminal debut work proposed what later came to be known as Kripke models for modal logic. The story goes that the paper earned a letter from the department of mathematics urging Kripke to apply for a job there to which he is said to have written an answer explaining "My mother said that I should finish high school and go to college first."In 1962 he graduated from Harvard University where he remained until 1968 first as a member of the Harvard Society of Fellows and then as a lecturer. During these years he developed the logical theories founded in the "Completeness Theorem" further and made seminal contributions to the field of logic and semantics. Kripke Semantics is a formal semantics for non-classical logic systems that Kripke began developing in his teenage years first published something on in 1959 the present work and further developed in the 60'ies and. The development of Kripke Semantics was no less than a breakthrough in the making of non-classical logics of which no model theory existed before Kripke's. With this work Kripke laid the foundation for proving completeness theorems for modal logic and for identifying the weakest normal modal logic which is now named K after him. </em> unknown
1938006438Philadelphia: Westbrook Publishing Company 1938. INSCRIBED by the author on the front pastedown endpaper: "To Prof. A. Church / Dec 14 '38 / With the profound respects of the / author / signed Irwin Biser." Very Good condition. A clean square tight copy. Hinges are perfect. Mild bend/crease at the bottom of the front board. Spine a little sunned. Bound in the original maroon cloth lettered in bright gold on the front cover. This is one of several dozen books from Alonzo Church's personal library that we were lucky enough to purchase at auction in New Jersey. Several of the books including this one contain a presentation inscription to him. A few others are signed by 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. INSCRIBED / SIGNED by the AUTHOR. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. 155pp. Great Packaging Fast Shipping. Westbrook Publishing Company Hardcover
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
1997100137762MIT Press 1997 391 pages 15 494x3 048x23 114cm. 1997. Cartonné jaquette. 391 pages.
1996027940New York: Routledge 1996. NOT a library discard. Bright and shiny. NO owner's name or bookplate. NOT a remainder. Near Fine condition but for notes on the front free endpaper and missing the title/copyright leaf. All other pages are present and are clean and unmarked. NO underlining. NO highlighting. NO margin notes. Bound in the original white red and black laminated boards illustrated with a geometric pattern on the front. From the rear cover: "This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: AN INTRODUCTION TO MODAL LOGIC and A COMPANION TO MODAL LOGIC. A NEW INTRODUCTION TO MODAL LOGIC is an entirely new work completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic without sacrificing the clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness and finite and infinite models and their philosophical applications especially in the area of modal predicate logic.". Hardcover. Near Fine condition/No dust jacket as issued. Illus. by NOT a library discard. 8vo. x 422pp. Great Packaging Fast Shipping. Routledge Hardcover
191847987Berkeley, University of California Press, 1918. Royal8vo. Orig. full cloth. Stamps on foot of titlepage. VI,406,(4) pp., textfigs. From the library of the Danish logician and philosopher Jørgen Jørgensen with his name on front free endpaper. Some pencil underlinings by Jørgensen.
191847987Berkeley University of California Press 1918. Royal8vo. Orig. full cloth. Stamps on foot of titlepage. VI4064 pp. textfigs. From the library of the Danish logician and philosopher Jørgen Jørgensen with his name on front free endpaper. Some pencil underlinings by Jørgensen. <br/><br/><em>First edition of a main textbook in modern symbolic logic and having an interesting provenance as the copy has belonged to the Danish logician Jørgen Jørgensen."Modern interest in modal Logic begins with the work of C.I. Lewis first published in book form in his 'Survey of Symbolic Logic' of 1918. This theory is commonly called the logic of strict implication because it was originally put forward in opposition to an account of implication which Lewis thought mistaken."Kneale and Kneale "The Development of Logic" 1962 p. 548 ff. </em> hardcover
1969PHIL0004aWien, Herder 1969. Gr.-8°. 656; 688; 694; 608 S., OKartbde., aussen geringe Lagerspuren, innen tadellos. I.: Geist, Welt und Geschichte / Freiheit: Verantwortung und Entscheidung / Sprache: Semantik und Hermeneutik / Philosophie und Ideologie / Philosophie und Naturwissenschaft. // II.: Marx un die Philosopie der Gegenwart / Brentano, die philosophische Psychologie... / Wittgenstein, der "Wiener Kreis" und die analytische Philosophie / Die Deontische Logik... / Die Bedeutung der Synthese im Integrativen... / Kybernetik ... / Die Zeit / Die Natur des Menschen und das Problem des Friedens. // III: Logik / Erkenntnis- und Wissenschaftstheorie / Sprachphilosophie / Ontologie und Metaphysik. // IV.: Ethik und Wertphilosophie, Ästetik und Kunstphilosophie, Naturphilosophie, Kulturphilosophie, Geschichtsphilosophie.
1999100124467BRISTOL CLASSICAL PR 1999 2 pages 16 2x2 2x23 8cm. 1999. Relié. 2 pages.
197419444Braunschweig, Vieweg, 1974. Original cloth. IXX, 336 pp.
1983009113Louvain Belgium: Central National Belge de Recherches de Logique / Nauwelaerts Printing 1983. Very Good condition. 16 cm x 24 cm. A solid copy -- square and tight. Bound in the original paper wrappers with minor crease to one corner of the front cover. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. This issue contains 7 papers -- 1 in French 1 in German and 5 in English including: ON AN APPLICATION OF TRUTH-FUNCTIONS TO THE LOGIC OF PREDICATES by Alfons Grieder. 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. 119pp. Great Packaging Fast Shipping. Central National Belge de Recherches de Logique / Nauwelaerts Printing Paperback
1991100124477BRISTOL CLASSICAL PR 1991 178 pages 15 8x1 6x23 8cm. 1991. Relié. 178 pages.
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
1989006176Oxford / New York:: Clarendon Press / Oxford University Press 1989. A square tight copy. Stamped "WITHDRAWN" on the endpapers. Pages are clean and unmarked but for 1 paperclip mark. No underlining. No highlighting. No margin notes. Uncommon hardcover edition. Bound in the publisher's navy blue cloth lettered in bright gold. Contains a preface and 6 chapters: 1 The Origins of the Problem; 2 The Controversy about the Nature of Pascalian Probability; 3 The Foundations of Pluralism in the Analysis of Probability; 4 The Pascalian Gradation of Ampliative Induction; 5 The Baconian Gradation of Ampliative Induction; 6 Four Paradoxes about Induction. Index. . First Edition. Hard Cover. Very Good EX-LIBRARY copy./No Jacket. 8vo. x 217pp. Clarendon Press / Oxford University Press Hardcover
1951014377S.l. S.n. 1951 In-4 En feuilles
1985009106Bucuresti 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
