HARRISON Bernard.MareMagnum
HegelAntiquariat.de
Encyclopedie Des Sciences Philosophiques En Abrégé (1830)
1970015345Gallimard, Paris 1970. Broschierter Einband Sehr gut
Antiquariat Clement · Allemagne18,00 €
1 936 résultats
x, 534 pages. With Index. Light wear to covers with some marks.
1872F80358Paris/ Louvain, F. Savy/ Peeters 1872 iii + 156pp., br.orig. (dos renforcé) protégée par papier cristal, 19cm., quelques rousseurs, bon état, F80358
iii + 156pp., br.orig. (dos renforcé) protégée par papier cristal, 19cm., quelques rousseurs, bon état, F80358
2004Cyb-7234Oxford University Press , Oxford Texts in Logic Malicorne sur Sarthe, 72, Pays de la Loire, France 2004 Book condition, Etat : Très Bon paperback, editor's printed and illustrated wrappers grand In-8 1 vol. - 451 pages
1970015345Gallimard, Paris 1970. Broschierter Einband Sehr gut
Nathan 1985, In-8 broché. 102 pages. Trés bon état.
1978PHILOSOP44440322Paris, Librairie philosophique J. Vrin, 1978, 15,5 x 24, 320 pages cousues sous couverture souple imprimée. Traduit de l'allemand par J. gibelin.
In-8°, pp. 175, brossura editoriale.
Heinrich 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
1998001037Hackensack New Jersey U.S.A.: World Scientific Pub Co Inc 1998 Book falls away at the spine at page 19. Inscription to the previous owner on the first page. Text is clean. Cloth. Good/Good. World Scientific Pub Co Inc hardcover
brossura 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à.
1968MATH545421117Paris, 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.
1909F38708Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état
1909F38921Paris, 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
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
303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état
1937023618Leipzig 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
1938023615Leipzig 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
1938023614Leipzig 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
In 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
192846101Berlin 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. <br/><br/><em>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. </em> hardcover
192849908Berlin 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. <br/><br/><em>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. </em> unknown
192846101Berlin, 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.
192849908Berlin, 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.
