122 résultats
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.
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.
1988PHIL1942(Wien), Österr. Ludwig Wittgenstein Gesellschaft 1988. 93 S., 2 nn. S. Vlgsanz., OKart., klammergeh., am vord. Deckel kl. Schmutzfleck. In Deutsch und Englisch.
1938MATH0226Bln., Springer 1938. gr.-8°, VIII, 133 S., 1 Bl. Vlgsanz., OLn., verstaubt, geringe Gebrauchsspuren, Innentit. m. überklebten Ausschnittstellen (Stempel?), flieg. Vors. m. Besitzerstemp. (= Die Grundlehren d. mathemat. Wissenschaften in Einzeldarstellungen Bd. XXVII).
1978006415Torino Italy: Societa Editrice Internazionale 1978. Near Fine condition. Bright shiny clean and tight. The spine is square and flat with NO creases. Pages are clean and unmarked. Bound in the original off-white wraps. 13 cm wide by 19 cm tall. 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. However penciled on the title page are the words "personal copy rec April 1979" in what we believe is Professor's Church's hand. 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. Near Fine condition. 368pp. Great Packaging Fast Shipping. Societa Editrice Internazionale Paperback
1974PHIL1518Warsaw, PWN-Polish scientific Publ. (1974). gr.-8°, XV, 460 S., OLn. m. RüTit., an den Kanten leicht berieb., zahlr. Bleistiftanmerk. u. Unterstreich. im Text. (= Synthese Library Vol. 62). In Englisch.
19653133458New Haven: Selbstverlag 1965. VIII, 224 Seiten. Als Typoskript gedruckt. 8° (17,5-22,5 cm). Orig.-Broschur. [Softcover / Paperback].
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
1998x-9810234325World Scientific Pub Co Inc 1998. Paperback. New. 356 pages. 12.28x8.96x0.78 inches. World Scientific Pub Co Inc paperback
1985145060Amsterdam/Philadelphia: John Benjamins Publishing Company. 1985. 256 S. 23*15 cm. OPappband.
1936006367Princeton New Jersey: The Guild of Brackett Lecturers 1936. A remarkably well-preserved copy. Near Fine condition in a Fair glassine jacket. Sharp corners. Clean square and tight. This copy still has a plain glassine cellophane Dust Jacket presumably original. The jacket is heavily chipped along the spine but NOT separated. Bound in the original gray boards with a white label printed in red and black on the front cover. The upper board shows just a faint touch of darkening along part of the top edge where a chip in the jacket allowed access. No owner's name or bookplate. Pages are fresh crisp and unmarked. Subtitle: "An Address delivered before Princeton University on March 10 1936 in the Cyrus Fogg Brackett Lectureship in Applied Engineering and Technology." The author was President New Jersey Bell Telephone Company. First Edition. Hardcover. Near Fine condition/Fair glassine jacket. 8vo. 40pp. The Guild of Brackett Lecturers Hardcover
1961009128München: M. Weiss 1961. Very Good condition. 15 cm x 21 cm. A solid copy -- square and tight. Bound in the original cloth-backed paper wrappers. NO owner's name or bookplate. Pages are age-toned but clean and unmarked. Doctoral dissertation for Dr. Phil. from Ludwig-Maximilians-Universität in München. Text in German. Contains passages from the Frege Nachlass. This dissertation is discussed by Christian Thiel in his 1965 study SINNUND BEDEUTUNG IN DER LOGIK GOTTLOB FREGES. Printed errata slip has a few additional corrections handwritten in ink. 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 1. Auflage. Softcover. Very Good condition. 93pp. Great Packaging Fast Shipping. M. Weiss Paperback
199910912xbvkScottsdale, Coriolis, 1999. XV, 599 pages, many graphic illustrations. Illustrated publisher's cardboard, large-8vo.
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
1951009131Hamburg Germany: Universität Hamburg 1951. Good condition. 21 cm x 30 cm. Bound in plain unprinted blue stiff card covers with a black spine. Edges of the cover are mildly faded with closed tears and a few tiny chips. Internal condition is FINE. NO owner's name or bookplate. Pages have text on one-side rectos only. This is probably a typescript carbon copy. Handwritten symbols and diagrams have been added to the text as well as a few ink corrections apparently by the author. Pages are otherwise clean and crisp. Gottlob Freges. Bertrand Russell. Subtitle: "Dissertation zur Erlangung des Doktorgrades der Philosophischen Fakultät der Universität Hamburg." Bierich's faculty advisors for this doctoral thesis were Prof. Dr. J. König and Prof. Dr. W. Flitner. On the front cover is a brief note: "Personal from author." 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 1. Auflage. Stiff card covers Softcover. Good condition. vi 95pp. Great Packaging Fast Shipping. Universität Hamburg Paperback
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
1981PHIL2065Wien, Verlag d. österr. Akademie d. Wissenschaften 1981. 147 S., mit 9 Abb., OKart., fast wie neu. (= Österr. Akademie d. Wissenschaften, Sitzungsberichte, 391. Bd., Heft 38).
1967104833New Haven & London: Yale University Press 1967. VII, 150 Seiten. 8° (17,5-22,5 cm). Orig.-Leinenband mit Orig.-Schutzumschlag. [Hardcover / fest gebunden].
19688814EBWien/New York, Springer, 1968. Groß-8°. 24 x 16 cm. XII, 241 Seiten. Original-Leinenband mit Original-Schutzumschlag.
1967006416Bari Italy: Editori Laterza 1967. Near Fine condition in a Very Good dust jacket. 13.5 cm wide by 21.5 cm tall. A clean tight copy. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wraps with a black spine. The Dust Jacket is white printed in blue and black. No chips. No tears. Complete with printed errata-corrige sheet tipped-in. 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. First Edition. Softcover. Near Fine condition/Very Good dust jacket. 324pp. Great Packaging Fast Shipping. Editori Laterza Paperback
1967009065Bari Italy: Editori Laterza 1967. Near Fine condition in a Very Good dust jacket. 13.5 cm wide by 21.5 cm tall. A clean tight copy. Sharp corners. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wrappers with a black paper spine. The lightly rubbed Dust Jacket is white printed in blue and black. 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. First Edition. Softcover. Near Fine condition/Very Good dust jacket. 324pp. Great Packaging Fast Shipping. Editori Laterza Paperback
1963ZB644080Bruxelles Centre national de recherches de logique 1963. Volumes 6-24 partly bound minor library markings else text clean & bindings tight. - If you are reading this this item is actually physically in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties taxes or fees required by recipient's country. Photos available upon request. Bruxelles, Centre national de recherches de logique unknown
1970ZB394721International Logic Review 1970. volumes 1-17 1970-1986 an uninterrupted run of complete volumes partly bound library markings else textually clean & tight PRICE IS FOR THE LOT. - If you are reading this this item is actually physically in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties taxes or fees required by recipient's country. Photos available upon request. International Logic Review unknown
1963009072México: Universidad Nacional Autónoma de México 1963. With original mailing label addressed to Alonzo Church -- the greatest American logician of the 20th century. Very Good condition. 18 cm x 24 cm. Proceedings of the XIIIth International Congress of Philosophy. 3 volumes only of 7: a Comunicaciones sobre el tema I: EL PROBLEMA DEL HOMBRE / Le problème de l'homme / Problem of man Volumen II. b Comunicaciones sobre el tema II: LA CRÍTICA DE LA ÉPOCA / Critique de l'époque / The criticism of our time Volumen IV. c COMUNICACIONES INTRODUCTORIAS / Rapports pour les séances plénières / Papers to be discussed in plenary sessions. All three volumes are uniformly bound in the original cream-color wrappers. These volumes are among 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 they do not have those signs of his ownership. But please check our inventory for several others that do. However laid-in one of the volumes is the original mailing label addressed to Alonzo Church at Princeton. 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. Oversize Softcover heavy. Very Good condition. 3 large volumes. Great Packaging Fast Shipping. Universidad Nacional Autónoma de México Paperback
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
