2499 risultati
rif. DADAX3540180222New unknown
rif. DADAX0190907134New unknown
2017rif. R200134987Hachette. 2017. In-8. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Papier jauni. 431 pages, nombreuses illustrations et photos en couleur dans le texte.. . . . Classification Dewey : 160-Logique
rif. DADAX0199228647New unknown
rif. 132514aafKluwer Academic Publishers, 2000, gr. in-8vo, X + 336 p., cartonnage original avec jaquette.
1959rif. 46888(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.
1994rif. F108789Berlin, 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
1959rif. 46888No 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. 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. unknown
1994216pp., 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
1938rif. 006438Philadelphia: 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
1953rif. 006410Princeton 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
1997rif. 100137762MIT Press 1997 391 pages 15 494x3 048x23 114cm. 1997. Cartonné jaquette. 391 pages.
1996rif. 027940New 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
1997484 pages. Clean and unmarked with light wear. Quality copy. Book
1938New 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.
18868vo., 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.
196623x15 cm. XVII+393 pages. Softcover. Cover corners and edges slightly wrinkled and rubbed. Else in good condition.
rif. 1120133882.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
rif. 1240054688.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
rif. 1166475190.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1992191 p.; 20 cm. Brossura editoriale. Molto buono
1953Collana Urania n.23
1987Gardner, 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) . Copertina flessibile 240 8808039269
1969rif. PHIL0004aWien, 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.
