Heinrich ScholtzMareMagnum
2 720 résultats
1962Heinrich Scholtz Storia della Logica. Milano, Silva 1962 italian, 158 ST1181PBrossura editoriale,volume in buone condizioni, lievi segni di usura sulla copertina (dorso sbiadito), interno in ottimo stato, legatura salda, etichetta "Ex Libris" sulla prima pagina158 pagine circacopertina come da foto
réf. DADAX0268010951New unknown
réf. SONG0268010951Used: Good unknown
2015brossura Charles Babbage e Ada Lovelace siglano una delle più coinvolgenti collaborazioni scientifiche nella storia delle invenzioni. Lui, i cui interessi spaziavano dalla teologia all'economia industriale, fu inventore di numerosi congegni, tra cui la Macchina alle differenze e la Macchina analitica, antesignana (un secolo prima!) del moderno computer. Lei, Ada, figlia del poeta Lord Byron, fu la migliore interprete della visione di Babbage, anticipando concetti propri dell'information technology. Sullo sfondo dell'Inghilterra vittoriana, il volume racconta i passi di questo dinamico duo, in un intreccio di scienza, tecnologia e umanità.
1968réf. 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.
1909303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., dédicacé par les deux auteurs, pour la plupart non coupé, couv.peu usée, bon état
1909303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état
1909réf. F38708Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état
1909réf. F38921Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., dédicacé par les deux auteurs, pour la plupart non coupé, couv.peu usée, bon état
1937réf. 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
1938réf. 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
1938réf. 023614Leipzig Germany: S. Hirzel 1938. Good condition. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften new series no. 5. This was reviewed by W. V. Quine in Church's Journal of Symbolic Logic Volume 4 Issue 2 1939 87-88. 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. One page does have brief margin notes that appear to be in his 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. Good condition. Illus. by NOT a library discard. 24pp. Great Packaging Fast Shipping. S. Hirzel Paperback
réf. DADAX0521873347New unknown
1949In 8, tela ed., pp. 155.Es. con qualche brunitura alla cop., internamente buono stato.In lingua tedesca.Luogo di pubblicazione BerlinoEditore SpringerAnno pubblicazione 1949Collana Die Grundleheren der Mathematischen Wissenschaften in Einzeldarstellungen band XXVIIMateria/Argomento Logica
réf. 69058Lingua italiana, Bollati Boringhieri, 1972, 511 pp., brossura editore, copertina un po' rovinata, codizioni discrete.
1928réf. 46101Berlin Springer 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away no loss of letters. VIII120 pp. First edition. Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen Band XXVII. In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' the offered item. It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem 'Entscheidungsproblem'. The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic capable of modeling arithmetic is either incomplete or inconsistent Gödel's second incompleteness theorem. The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel Church and Turing rank amongst the most important contributions to mathematical logic ever. hardcover
1928réf. 49908Berlin Springer 1928. 8vo. Uncut in orig. printed wrappers. VIII120. With the name of Bent Schultzer Former Danish professor in philosophy on first leaf. Internally clean. First edition. Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen Band XXVII. In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' the offered item. It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem 'Entscheidungsproblem'. The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic capable of modeling arithmetic is either incomplete or inconsistent Gödel's second incompleteness theorem. The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel Church and Turing rank amongst the most important contributions to mathematical logic ever. unknown
1928réf. 46101Berlin, Springer, 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away, no loss of letters. VIII,120 pp.
1928réf. 49908Berlin, Springer, 1928. 8vo. Uncut in orig. printed wrappers. VIII,120. With the name of Bent Schultzer (Former Danish professor in philosophy) on first leaf. Internally clean.
1971réf. 78655Dodrecht-Holland, D. Reidel Publishing Company, 1971. Gr.8°; 182 pages; [Englisch]; 1. Auflage Orig.-Leinen mit OU Schutzumschlag am Rücken gebräunt und mit kleinem Einriß; Besitzeintrag Synthese Library
1982réf. 023622Monterrey N. L. Mexico: CIA. Editora Nacional Monumel S. A. 1982. INSCRIBED/SIGNED by the AUTHOR directly on the front free endpaper: "Monterrey N. L. Abril 16 de 1982 For Prof. Alonzo Church gratefully signed Jose Antonio Hinojosa Berrones." Good condition. NOT a library discard. With errata sheeted taped to an early blank page. All other pages are clean and unmarked. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Please check our inventory for several others that are signed by him. 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. Primera Edición Limited 1000. Softcover. Good condition. Illus. by NOT a library discard. 71pp. Great Packaging Fast Shipping. CIA. Editora Nacional Monumel, S. A. Paperback
1969réf. 10326Dordrecht et Boston, Reidel, 1969. 480 g In-8, reliure éditeur sous jaquette, vii-[1]-220 pp., [1] f.. Petites déchirures à la jacquette. . (Catégories : Mathématiques, Logique, Philosophie, )
1974Mm 140x215 "Collezione di testi e di studi - Filosofia" - Volume rilegato in tela con sovraccoperta, xviii-300 pagine. Introduzione di Marco Mondadori e Paolo Parlavecchia. Opera in buone-ottime condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
1953réf. 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
réf. 96771aafParis, Librairie Philosophique J. Vrin, 1998, in-8vo, 338 p., cartonnage original.
