1.775 Ergebnisse
1951Best.-Nr. 009131Hamburg 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
1981Best.-Nr. 009076Dordrecht Holland / Boston U.S.A.: D. Reidel Publishing 1981. Near Fine condition. 15 cm x by 23 cm. A very nice copy but for a little age-toning to the front wrapper. NO underlining. NO highlighting. NO margin notes. Metaphysics of Epistemology. Metaphilosophy. This is an offprint of MENTAL EVENTS by the influential American philosopher Wilfrid Stalker Sellars 1912-1989. It originally appeared in PHILOSOPHICAL STUDIES 39 1981 pp. 325-345. This offprint i.e. a reproduction of an article that was originally contained in a larger publication appears to have been produced by the original publisher D. Reidel and has a printed price of $2.10. 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 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. offprint. Softcover stapled wraps. Near Fine condition. pp. 325-345. Great Packaging Fast Shipping. D. Reidel Publishing Paperback
1955Best.-Nr. 009116Chartres: Imprimerie Durand 1955. Very Good condition. 16 cm x 24.5 cm. A solid copy. Bound in the original paper wrappers a little age-toned and lightly chipped at the spine ends. NO owner's name or bookplate. Pages are clean and unmarked. Relation theory. Ph.D. thèses présentées a la faculté des sciences de l'université de Paris. soutenues le 29 octobre 1953. Text in French with English summary. This work was reviewed by Paul Dedecker in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC Volume 22 Issue 4 1957 371-372. The French mathematical logician Roland Fraïssé 1920-2008 received his doctoral degree from the University of Paris in 1953. In this his thesis Fraïssé devised a method of determining elementary equivalence. Using a back-and-forth methodology he determined whether two model-theoretic structures were elementarily equivalent. It was later formulated as the Ehrenfeucht-Fraïssé game. 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 Thus première édition. Softcover. Very Good condition. 155pp. Great Packaging Fast Shipping. Imprimerie Durand Paperback
1949Best.-Nr. 009098Warszawa Warsaw Poland: Panstwowe Zaklady Wydawnictw Szkolnych PZWS 1949. Very Good condition. 17 cm x 25 cm. Bound in the original wrappers browned and chipped at the corners. Internal condition is Very Good. NO owner's name or bookplate. Pages are bright white clean and unmarked. NO underlining. NO highlighting. NO margin notes. Polish philosophy Lvov-Warsaw School. Text in Polish. Errata slip tipped-in. Illustrated with figures. Tables. Bibliographical references. Indexes. 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 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. Keywords: Polish philosophy. Lvov-Warsaw School. 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. 273pp. Great Packaging Fast Shipping. Panstwowe Zaklady Wydawnictw Szkolnych [PZWS] Paperback
1986Best.-Nr. 009114Louvain Belgium: Central National Belge de Recherches de Logique / Nauwelaerts Printing 1986. Very Good condition. 16 cm x 24 cm. A solid copy. Bound in the original paper wrappers. NO owner's name or bookplate. Pages are clean and unmarked. NO underlining. NO highlighting. NO margin notes. This issue contains 9 papers all in English including: IN DEFENSE OF TEMPORALLY RELATIVE DEONTIC LOGIC A REPLY TO PROFESSOR CASTANEDA by Job van Eck; and THE FORMAL STRUCTURE OF THE LIAR PARADOX by Geoffrey Hunt. 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. pp. 251-385. Great Packaging Fast Shipping. Central National Belge de Recherches de Logique / Nauwelaerts Printing Paperback
1988Best.-Nr. 009096Wroclaw Poland: Wydawnictwo Uniwersytetu Wroclawskiego 1988. Very Good condition. 17 cm x 23.5 cm. Bound in the original brown pictorial wrappers. NO owner's name or bookplate. Pages are clean. NO underlining. NO highlighting. NO margin notes. Sketches from the History of German Philosophy. Text in Polish with brief summaries in German. Footnotes. Bibliographical references. ACTA Universitatis Wratislaviensis No. 835. Prace Filozoficzne L. Historia Filozofii 6. 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 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. Very Good condition. 114pp. Great Packaging Fast Shipping. Wydawnictwo Uniwersytetu Wroclawskiego Paperback
1912Best.-Nr. 012055London: William Heinemann 1912. EX-LIBRARY with call numbers on spine internal pocket and stamps on front endpapers only. Square and surprisingly tight. Solid reading copy of the scarce First Edition in English. Corners worn and spine ends frayed. Pages are clean and bright and completely unmarked. Inner hinges are sound. No foxing. No underlining. No highlighting. No margin notes. Illustrated with frontispiece portrait of Friedrich Nietzsche and 10 other photographic plates. This is a biography by the philosopher's sister. From the preface: "In the following pages I have endeavoured to depict the young and happy Nietzsche not only during a given well-defined period but throughout the whole of the thirty-two happy years of his youth from 1844 to 1876. I alone can speak with any real knowledge of these years for as Baron von Gersdorff and Rohde once said to me: 'We are acquainted only with small portions of his life; but you know everything that links those isolated portions together.'" Index. Original blue cloth . First Printing of the First UK Edition. Hardcover. Good EX-LIBRARY. 8vo. xi 399pp . William Heinemann Hardcover
Best.-Nr. 0265627400.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Best.-Nr. 1390138763.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Best.-Nr. 0366019481.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Best.-Nr. 1330189221.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Best.-Nr. 0366944487.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1959Best.-Nr. 508Large 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". Hutchinson hardcover
Best.-Nr. 0282005447.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Best.-Nr. 0366736132.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
2002Best.-Nr. __1575862832Stanford Univ Center for the Study 2002. Hardcover. New. illustrated edition. 255 pages. 9.10x6.10x0.60 inches. Stanford Univ Center for the Study hardcover
Best.-Nr. 0850122082New. paperback. New. Satisfaction Guaranteed or your money back. paperback
Best.-Nr. 167611paperback. 349 pages. Thick 8vo original gray printed wrappers. Louvain Nauwelaerts 1968. Ownership signature on title page otherwise fine. unknown
Best.-Nr. 0915845008.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Best.-Nr. 1145542Basic Books Inc 1959. 1st American edition. Hard cover. Very good/Very good. Jacket is worn and tanned on top edge but text and images are clear and bright. Cover is in great condition. Binding is tight. Inside is clean and unmarked. Basic Books, Inc unknown
1991Best.-Nr. 2090502113706363Not Available 1991. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1973Best.-Nr. 2090502113705793Not Available 1973. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1989Best.-Nr. 2090502113712066Not Available 1989. Soft Cover. Fine. The book is in fine condition. Not Available paperback
Best.-Nr. 2090502113708149Not Available N.A. Soft Cover. Fine. The book is in fine condition. Not Available paperback
1980Best.-Nr. 2083002116411730Otsukishoten 1980. Soft Cover. Fine. The book is in fine condition. Otsukishoten paperback