Hilpinen, RistoAntiquariat.de
1 936 résultats
197178655Dodrecht-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
1982023622Monterrey 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
196910326Dordrecht 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, )
Mm 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.
1989100136468Blackwell Publishers 1989 300 pages 14 986x2 032x22 86cm. 1989. Broché. 300 pages.
1953009122Helsinki 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
96771aafParis, Librairie Philosophique J. Vrin, 1998, in-8vo, 338 p., cartonnage original.
In 8°, br. edit. con sovrac. ill., pp. 222,(2); testo in tedesco; bruniture alla br., per il resto buon es.. (x202)
16.5X23.5 cm. 23+xxi+777 pages. Softcover. Cover edge's slightly chafed. Spine edge's slightly chafed. Else in good condition. PLEASE NOTE: This item is overweight. We may ask for extra shipping costs.
23.5x15.5 cm. xxi+777 pages. Softcover. In good condition. PLEASE NOTE: This item is overweight. We may ask for extra shipping costs.
8' black hardcover, dust jacket slightly worn, else in good+/good condition.
Mm 160x240 Collana "Biblioteca scientifica". Prima edizione italiana a cura di Giuseppe Trautteur. Brossura editoriale, XXVII-852 pagine con illustrazioni in nero nel testo. Lievi segni del tempo esterni, interno in buon ordine con legature ben salde. Spedizione in 24 ore dalla conferma dell'ordine.
fort volume grand in-8°, XXXI-883 pp., illustrations, index, broché, couv. ill. Excellent etat. [AR-2]
XVI, 385 p.; 23 cm. Hardcover with dj. Fine
Una piacevole opera divulgativa che elenca principi matematici e geometrci.
1990PHILOSOP8989890725De Boeck, "Université, 1990, 16 x 24, 274 pages sous couverture souple imprimée. "Cette introduction comporte deux grandes sections. La première comprend une présentation technique et théorique de la logique formelle, principalement - après une familiarisation avec la pensée logique - la théorie des fonctions de vérité et la logique des prédicats, ainsi que des éléments de logique non classique. La seconde section est d'orientation plus philosophique. Elle invite à réfléchir sur la logique et les problèmes de philosophie du langage qu'elle suscite à partir de Wittgenstein, Frege, Russell, Quine et Strawson. Réunies, les deux sections constituent une introduction technique, théorique et philosophique à la logique classique et à la philosophie du langage. Technique, parce qu'il s'agit d'introduire le lecteur à la maîtrise des outils de base. Théorique, parce qu'il s'agit de lui rendre compréhensibles les concepts fondamentaux - le vocabulaire - de la logique. Philosophique enfin, parce qu'il s'agit de l'inviter à réfléchir sur la nature de l'entreprise logique et sur ses limites, en relation avec la question du langage. L'ouvrage s'adresse aux étudiants universitaires ainsi qu'aux linguistes, philosophes, informaticiens, scientifiques intéressés par la logique et le langage. Plus généralement, un dessein de cet ouvrage est de contribuer au développement ou, du moins, à la sauvegarde d'une culture critique touchant aux fondements d'un aspect essentiel du monde où nous vivons : son ossature et sa dynamique techno-logiques."
68397P., Delagrave, 1924, in 8° relié pleine percaline verte de l'éditeur, 268 pages.
235pp. + 2pp. theses, 27cm., text in English, Doctoral Dissertation (Universiteit Leiden, the Netherlands), softcover, stamp at verso of title page, text is clean and bright, good condition, F113242
2003F113242Leiden, 2003 235pp. + 2pp. theses, 27cm., text in English, Doctoral Dissertation (Universiteit Leiden, the Netherlands), softcover, stamp at verso of title page, text is clean and bright, good condition, F113242
Ex - library stamps in the usual places. Clean, bright and tight. Ex Library
1983UUI-12729In-8 broché, H. Saggiatore, coll. "Theoria 5", 1983, XXVI + 436 pp. Un peu frotté et écorné, dos ridé. Usure d’usage, bon exemplaire de lecture. Poids 500 g. Envoi lettre verte. Frais d'envoi 7,70 euros sur la France, 26,50 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY ou "LIVRES ET BROCHURES", n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.
1958RO60133803Nathan. 1958. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos abîmé, Intérieur acceptable. 175 pages. Illustré de nombreuses photos en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique
cm. 17 x 24, vi-234 pp. Istituto nazionale di studi sul Rinascimento - Quaderni di ?Rinascimento? Dialogo sugli universali scritto a Firenze verso la fine del Quattrocento. Dedicato al Poliziano, rivela che il suo interesse per la dialettica inizi? molto prima di quanto si creda, e soprattutto che questo interesse fu nutrito da fonti non solo classiche ma anche scolastiche. Inglese 455 gr. vi-234 p.
1995ROD0137364PUF. 1995. In-8. Broché. Etat d'usage, Coins frottés, Dos plié, Intérieur frais. 586 pages - couverture orange contre-pliée - annotations à l'encre sur la page de titre.. . . . Classification Dewey : 160-Logique
