1 936 résultats
24922Bruxelles, Librairie de Culture Humaine, 1930. 13 x 19, 240 pp., broché, bon état.
In-8°, pp. 71. Cartoncino edit. Timbro edit. alla sguardia. BOOLE (1815-1864), matematico britannico considerato il fondatore della logica matematic; in "An Investigation of the Laws of Thought", indirizzata alle leggi del pensiero, propose una nuova impostazione della logica, studiando le leggi delle operazioni mentali alla base del ragionamento, esprimendole nel linguaggio simbolico del calcolo: (wiki).
74556Paris, Dunod 1964, 245x160mm, VIII - 332pages, reliure d'éditeur. Plats plastifiés. Bel exemplaire.
1955023625Moscow USSR: Trudy Matematicheskogo instituta inteni V. A. Steklova 44 1955. Text in Russian. Because this marketplace does not accommodate Cyrillic charcters all Russian language words from this book have been here transliterated into Latin script. Good condition. Spine is worn. Edges of the cover are sunned. Pages are clean and unmarked. From Encyclopedia: "In 1952 Novikov constructed a finitely defined group H with an unsolvable word problem that is a group with no algorithm to solve the word problem for H. This result was first announced in his 1952 paper Ob algoritmicheskoi nerazreshimosti problemy tozhdestva On the Algorithmic Unsolvability of the Word Problem. The complete proof was published three years later i.e. in this 1955 edition. In 1957 William W. Boone gave another example of a group with an unsolvable word problem and therefore this result is called the Novikov-Boone theorem. Important corollaries derived from this theorem have suggested that there are many unsolvable algorithmic problems in fundamental branches of classical mathematics. Novikov received the Lenin Prize for this significant achievement in 1957." 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 Complete Edition. Softcover. Good condition. Illus. by NOT a library discard. 144pp. Great Packaging Fast Shipping. Trudy Matematicheskogo instituta inteni V. A. Steklova, 44 Paperback
2010RO80264254Marabout. 2010. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 511 pages - quelques figures en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique
200654939Ostfildern : Hatje Cantz c 2006. 198 S. : 132 farbige Abb. ; 32 cm Top Zustand, kart., Softcover/Paperback, Exemplar in sehr gutem Erhaltungszustand
191 p.; 20 cm. Brossura editoriale. Molto buono
Traduzione di Giuseppe Mininni . Saggi di logica e di semiologia...
19751256201975 The Mathematical Association of America - 1975 - In-8 broché, couverture illustrée - xi-202 pages
1976Cyb-7228Princeton University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1976 Book condition, Etat : Très Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 437 pages
1992158582Columbia: Univ. of South Carolina Press 1992. XVI, 193 Seiten. Gr. 8° (22,5-25 cm). Orig.-Pappband mit Orig.-Schutzumschlag. [Hardcover / fest gebunden].
Roma, Armando, 1977, 8vo brossura, pp. 111.
1999100132818Cambridge University Press 1999 352 pages 15 95x2 34x23 6cm. 1999. Cartonné jaquette. 352 pages.
1994100132820Laterza 1994 406 pages 13 8x2 6x20 8cm. 1994. Broché. 406 pages.
1948009130Oslo Norway: Skrivemaskinstua 1948. Very Good condition. 20.5 cm x 28.5 cm. Staple-bound light blue stiff-paper wrappers mildly faded. Spine covered with dark blue paper that is chipped at the ends. Mimeographed typescript. Pages are printed on one-side rectos only. NO owner's name or bookplate. Pages are bright white clean and unmarked. Text in Norwegian or so I'm guessing. Laid-in are 2 sheets of printed corrections Rettelser til. This is quite possibly the very copy used for the review published in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC 14 1949 185-186. It 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. 2. utgave. Oversize Softcover. Very Good condition. iv 192 sheets sides. Great Packaging Fast Shipping. Skrivemaskinstua Paperback
1939007755Tokyo: Privately Printed 1939. The title page is INSCRIBED to: "Professor Alonzo Church Editor of The Journal of Symbolic Logic signed Katsumi Nakamura author of this book." SEE PHOTOS. Very Good condition. Clean and tight. Spine ends are mildly frayed. Pages are fresh crisp and unmarked. This book contains two papers. The first VALUE AND THINKING A PSYCHOLOGICAL STUDY pp. 1-155 is in Japanese except for an English title page. The second ZUM LOGISCHEN FUNKTIONSBEGRIFFE DES WIENER KREISES pp. 157-183 is in German. The binding is original brown cloth stamped in Japanese characters on the spine and front cover. This is almost certainly the very copy that Church used for his review of ZUM LOGISCHEN that was published in the JOURNAL OF SYMBOLIC LOGIC Vol. 6 No. 1 Mar. 1941 p. 36. It 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 contain his signature. Unfortunately this copy does not. But please check our inventory for others that do. However Professor Church's handwriting does appears on the front cover where he penned the author's name and a title Zum logischen Funktionsbegriffe des Wiener Kreises and again on the spine author's name only. 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. Signed/Inscribed by the Author to Alonzo Church. First hardbound edition assumed. Hardcover. Very Good condition/No Jacket. 8vo. x 185pp. Great Packaging Fast Shipping. Privately Printed? Hardcover
20101-3838332350LAP Lambert Academic Publishing 2010. Paperback. New. 156 pages. 8.66x5.91x0.36 inches. LAP Lambert Academic Publishing paperback
1964MATH0248Wien, Mchn., Oldenbourg (1964). 4°, 74 S., mit rotem Klebeband u. Tixoband am Rücken verklebt, Titel u. Widmungseite am Seitenschnitt m. Tixo verstärkt, einige Knickspuren, 2 Seiten m. kl. Ausriss am Seitenschnitt, papierbed. gebräunt.
br. Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei Principia mathematica e sistemi affini". Increduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato sull'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimostrava l'incompletezza di un'ampia classe di teorie formali, tra cui l'aritmetica, nonché l'impossibilità di provare all'interno delle teorie stesse la loro coerenza. L'opera di Nagel e Newman è stata concepita per condurre il lettore al cuore dell'argomentazione di Gödel.
1989Cyb-7082Seuil , Sources du Savoir Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche et rouge In-8 1 vol. - 184 pages
