Jacques FrancisLivre Rare Book
1.778 Ergebnisse
1979Best.-Nr. R100052477Presses Universitaires de France. 1979. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 422 pages - couverture contrepliée.. . . . Classification Dewey : 160-Logique
1944Best.-Nr. 8241Paris, Editions J. Olivien, 1944 ; in-8, broché, couverture orange semi-cartonnée imprimée rouge et noir ; 260 pp.
1929Best.-Nr. PHIL0427München, Reinhardt 1929. 143 S. OHLn. Bibliothekslasche auf Spiegel, Stemp. auf Titel.
Best.-Nr. 76544aafBerlin, Druck und Verlag von Georg Reimer, 1868, gr. in-8vo, XII + 662 S., Ex-Libris O.-Holzsschnitt signiert PK, Emil Spiesz, hs. Signatur auf Titelbl., Original-Leinenband d. Zeit.
1868In 8', br. ed. pp. 196, bruniture e spaccature al dorso, segni d'uso ai piatti, fioriture e segni del tempo all'interno.
1958240pp., 21cm., 2nd editon, softcover, very good, F74900
1958Best.-Nr. F74900Frankfurt am Main, Vittorio Klostermann 1958 240pp., 21cm., 2nd editon, softcover, very good, F74900
1998In 8, br. ed., pp. 220 con ill. in n. n.t.Prima ed.Piccole pieghe agli angoli del piatto ant., nastro adesivo di carta con numero a penna al piede del dorso, interno in ottime condizioni.Luogo di pubblicazione TorinoEditore BoringhieriAnno pubblicazione 1998Materia/Argomento Logica, Matematica, ScienzePrima Edizione Sbr>
2013Best.-Nr. 040043BINARY LOGIC SA 2013. paperback. New. 11x8x0. NEW!I ship Worldwide from Puerto Rico USA. Listing Includes Books Image . Please email me if you need to see more pictures! The orders are processed promptly carefully packaged and shipped within 1 day of purchase. PLEASE NOTE! if you need the book quickly please Purchase Priority Shipping. Media will not show updates in mail confirmation till reaches continental U.S. BINARY LOGIC SA paperback
1984Fine English Paperback. Pbo. Cr. 8vo. (20 x 14 cm). In Turkish. 192 p. Dil, dogruluk ve mantik.= [Language, truth and logic]. Translated by Vehbi Hacikadiroglu.
1942Best.-Nr. 007675New York: The Macmillan Company 1942. Very Good condition. A solid copy. Square and reasonably tight. Hinges are sound. Text pages are clean and crisp. No underlining. No highlighting. No margin notes. Illustrated with figures/diagrams/maps. Tables. Graphs. Bibliography. Index. Bound in the original brick red cloth lettered in shiny gold over black on the spine and front cover. 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. Please check our inventory for several others that do. But this is almost certainly the very copy that Church used for his review of the book that appeared in the JOURNAL OF SYMBOLIC LOGIC vol. 7 issue 3 1942. 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. Hardcover. Very Good condition/No Jacket. 8vo. ix 944pp. Great Packaging Fast Shipping. The Macmillan Company Hardcover
1979trad. di Daniela Benelli tela edit. con titoli, acetato protettivo, minima rottura all'acetato
1908Firenze, Carlo Pratesi, 1908-1916, 5 parti legate in 4 voll. in-16, br. edit., pp. 137 - 122 - 93, [3] - 162, [2]. “Opuscoli fiorentini”, V-XI.
2011Mm 125x205 Collana "Temi" - Brossura editoriale, 226 pagine con un indice dei nomi in chiusura. Copia pari al nuovo, spedizione in 24 ore dalla conferma dell'ordine.
1953Best.-Nr. 009122Helsinki Finland: Societas Philisophica 1953. Very Good condition. 17.5 cm x 25 cm. A solid copy. Bound in the original paper wrappers a little rubbed and mildly sun-darkened at the spine. NO owner's name or bookplate. Pages are white clean and unmarked. Entirely in English. Bibliographical references. Complete with page of corrections. Very early work by the Finnish philosopher and logician Jaakko Hintikka -- currently Professor of Philosophy at Boston University. Regarded by many as the founder of formal epistemic logic and of game semantics for logic Hintikka has made significant contributions to epistemology language theory mathematical logic philosophical logic the philosophies of mathematics and science. He was awarded the Rolf Schock prize in logic and philosophy in 2005 "for his pioneering contributions to the logical analysis of modal concepts in particular the concepts of knowledge and belief." 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. 73pp. Great Packaging Fast Shipping. Societas Philisophica Paperback
1988In-8°, pp. 175, brossura editoriale.
1953Best.-Nr. 023626Paris: Instytut Literacki 1953. Very Good condition. May - Mai 1953. Dwa znakomite dziela by José Ferrater Mora occupies pages 18-32. Tipped in is the original mailing label addressed to Professor Alonzo Church Princeton University Department of Mathematics. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. This one isn't signed by him but please check our inventory for several that are. 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. Illus. by NOT a library discard. 160pp. Great Packaging Fast Shipping. Instytut Literacki Paperback
1991Best.-Nr. 4174LGF/Le Livre de Poche 1991 80 pages in12. 1991. broché. 80 pages. Ouvrage pratique visant à améliorer les capacités de raisonnement logique à travers des exercices et des méthodes pédagogiques accessibles
1967Best.-Nr. 114829Reidel 1967 D. Reidel Publishing Company, 1967, VIII-137 pp, cartonnage éditeur sous jaquette, environ 23x16cm. Rares petites déchirures sans manque sur la jaquette et une lettre manuscrite sur le dos de la même. Bon état néanmoins et intérieur très propre.
1988Best.-Nr. R100056377Atelier Alpha Bleue. 1988. In-8. Broché. Etat d'usage, 2ème plat abîmé, Dos plié, Intérieur frais. 298 pages - couverture contrepliée - déchirure sur le 2eme plat.. . . . Classification Dewey : 160-Logique
1968Best.-Nr. MATH545421117Paris, Presses Universitaires de France, "Bibliothèque de philosophie contemporaine", 1968, 13,5 x 22, 244 pages cousues sous couverture imprimée. En frontispice, portrait photographique de Jacques Herbrand. Préface de Jean van Heijenoort. Notice bibliographique par Claude Chevalley et Albert Lautmann. Ainsi qu'une note sur la pensée de Herbrand par Claude Chevalley.
1937Best.-Nr. 023618Leipzig Germany: S. Hirzel 1937. Very Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 1. Reprinted from Deutsche Mathematik vol. 1 1936 pp. 733-777. This was reviewed by C. H. Langford in Alonzo Church's Journal of Symbolic Logic Volume 2 Issue 2 June 1937 p. 94 This volume was 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 this volume 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. Softcover. Very Good condition. Illus. by NOT a library discard. 40pp. Great Packaging Fast Shipping. S. Hirzel Paperback
1938Best.-Nr. 023615Leipzig Germany: S. Hirzel 1938. Very Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 3. An axiomatization of general mechanics. Research on logic and the foundations of the exact sciences Issue 3 Leipzig 1938. This was reviewed by Barkley Rosser in Church's Journal of Symbolic Logic Volume 3 Issue 3 1938 119-120. This volume was 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 this volume 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. Illus. by NOT a library discard. 48pp. Great Packaging Fast Shipping. S. Hirzel Paperback
