1 936 résultats
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
484 pages. Clean and unmarked with light wear. Quality copy. Book
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
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.
New York, American Institute of Electrical Engineer [AIEE], [1938 or after]. Folio (280 x 218 mm). A spirit duplicated (dittoed) copy of a corrected version of the originally published AIEE-paper. From the library of Claude Shannon (unmarked). Only printed on recto, stapled in upper left corner. To upper margin of first leaf: ""Reprinted from A.I.E.E. Transactions, Vol. 57, 1938, with permission of A.I.E.E. and Author"". P. 718 with the note: ""This section has been revised by the author from the original 1938 paper which contained an error"", and pp. 718 and 719 with parts of the original text having been replaced with a different text. Paper creased and yellowed, traces from leaves having been folded. Pp. 713-723.
8vo., small neat signature on title; handsomely bound in brown full crushed morocco, sides with gilt frame border, back with raised bands, second and fourth compartments lettered and ruled in gilt, all other compartments tooled and ruled in gilt, gilt top, hand-made endpapers, original gilt from backstrip preserved and mounted on new leaf at front, ribbon marker, a most attractive copy ideal as a gift or for presentation. First published in 1843. Includes the author's Prefaces to the first, third, fourth and eighth editions.
23x15 cm. XVII+393 pages. Softcover. Cover corners and edges slightly wrinkled and rubbed. Else in good condition.
1166475190.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1240054688.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1120133882.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
20427Neuchâtel, Cahiers de la revue de théologie, 1981. In-8 (230x155mm) broché, 132 p. Quelques petites marques au crayon de papier (très facilement effaçables). Très bon état général.
191 p.; 20 cm. Brossura editoriale. Molto buono
Collana Urania n.23
Gardner, Martin Ah! Ci sono! Paradossi stimolanti e divertenti. , Zanichelli 1987, Buone condizioni: copertina in buono stato, dorso con lievi segni di usura, tagli sporchi, pagine brunite ma di buona fruibilità Buono (Good) . <br> <br> Copertina flessibile <br> 240<br> 8808039269
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.
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
Lecture Notes in Computer Science 463; Ex - Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and slight creases to some leading corners. Page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex - Library
Lecture Notes in Computer Science 632; Ex - Library. Previous owner's sticker on the front cover. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex - Library
Braunschweig, Vieweg, 1974. Original cloth. IXX, 336 pp.
197419444Braunschweig, Vieweg, 1974. Original cloth. IXX, 336 pp.
35620Paris. Albert Blanchard. 1962. Préface de Bouligand G. in-8. Br. 124 p. + Qlques figures H.T. Très bon état malgré quelques petites rousseurs en page de garde et de titre.
