|
Hermes, Hans; & Heinrich Scholz; from Alonzo Church's library
Ein Neuer Vollständigkeitsbeweis für das Reduzierte Fregesche Axiomensystem des Aussagenkalküls
Leipzig 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
Bookseller reference : 023618
|
|
|
Hermes, Hans; from Alonzo Church's library
Eine Axiomatisierung der Allgemeinen Mechanik
Leipzig 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
Bookseller reference : 023615
|
|
|
Hermes, Hans; from Alonzo Church's library
Semiotik Eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von Formalisierten Sprachen
Leipzig 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
Bookseller reference : 023614
|
|
|
Hilbert D. - Ackermann W.
GRUNDZUGE DER THEORETISCHEN LOGIK
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
|
|
|
HILBERT, D UND W ACKERMANN - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC
Grundzüge der theoretischen Logik.
Berlin 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
Bookseller reference : 46101
|
|
|
HILBERT, D UND W ACKERMANN - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC
Grundzüge der theoretischen Logik.
Berlin 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
Bookseller reference : 49908
|
|
|
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
Grundzüge der theoretischen Logik.
Berlin, 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.
Bookseller reference : 46101
|
|
|
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
Grundzüge der theoretischen Logik.
Berlin, 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.
Bookseller reference : 49908
|
|
|
Hilpinen, Risto
Deontic Logic: Introductury and systematic Readings
Dodrecht-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
Bookseller reference : 78655
|
|
|
Hinojosa Berrones, Jose Antonio (signed); from Alonzo Church's library
Humanismo de las Ciencias Volumen II
Monterrey 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
Bookseller reference : 023622
|
|
|
HINTIKKA (Jaakko)
Models for modalities. Selected Essays
Dordrecht 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, )
Bookseller reference : 10326
|
|
|
Hintikka Jaakko
Induzione, Accettazione, Informazione
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.
|
|
|
Hintikka Merrill B. Hintikka Jaakko
Investigating Wittgenstein
Blackwell Publishers 1989 300 pages 14 986x2 032x22 86cm. 1989. Broché. 300 pages.
Bookseller reference : 100136468 ISBN : 631141812
|
|
|
Hintikka, K Jaakko J [from the library of Alonzo Church]
Distributive Normal Forms in the Calculus of Predicates : Acta Philosophica Fennica Fasc. VI
Helsinki 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
Bookseller reference : 009122
|
|
|
HINTIKKA, Jaakko:
Question de logique et de phénoménologie. Édité par Élisabeth Rigal. Ouvrage publié avec le concours du Centre national du Livre.
Paris, Librairie Philosophique J. Vrin, 1998, in-8vo, 338 p., cartonnage original.
Bookseller reference : 96771aaf
|
|
|
HINTIKKA/SUPPES Jaako/Patrick.
ASPECTS OF INDUCTIVE LOGIC. STUDIES IN LOGIC AND THE FONUNDATIONS OF MATHEMATICS
|
|
|
HOCHKEPPEL WILLY.
Denken als Spiel. Hundertundelf Intelligenz-Ubungen fur Anfamger und Fortgeschrittene. Mit einem linguistischen Beitrag von Carl Amery.
In 8°, br. edit. con sovrac. ill., pp. 222,(2); testo in tedesco; bruniture alla br., per il resto buon es.. (x202)
|
|
|
Hofstadter, Douglas R.
Godel, Escher, Bach: An Eternal Golden Braid - A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll
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.
|
|
|
Hofstadter, Douglas R.
Godel, Escher, Bach: An Eternal Golden Braid- A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll
23.5x15.5 cm. xxi+777 pages. Softcover. In good condition. PLEASE NOTE: This item is overweight. We may ask for extra shipping costs.
|
|
|
Hofstadter, Douglas R.
Gödel Escher Bach ein Endloses Geflochtenes Band
8' black hardcover, dust jacket slightly worn, else in good+/good condition.
|
|
|
Hofstadter, Douglas R. - Trautteur, Giuseppe
Gödel, Escher, Bach. Un'eterna ghirlanda brillante. Una fuga metaforica su menti e macchine nello spirito di Lewis Carroll
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.
|
|
|
HOFSTADTER, Douglas.
GÖDEL - ESCHER - BACH. Les brins d'une guirlande éternelle.
fort volume grand in-8°, XXXI-883 pp., illustrations, index, broché, couv. ill. Excellent etat. [AR-2]
|
|
|
HOLLAND, John - HOLYOAK. Keith - NISBETT, Richard - THAGARD, Paul
Induction. Processes of inference, learning, and discovery
XVI, 385 p.; 23 cm. Hardcover with dj. Fine
|
|
|
Honsell, Furio; Bagni, Giorgio T.
Curiosità e divertimenti con i numeri
Una piacevole opera divulgativa che elenca principi matematici e geometrci.
|
|
|
HOTTOIS Gilbert
Penser la logique. Une introduction technique, théorique et philosophique à la logique formelle
De 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."
Bookseller reference : PHILOSOP8989890725
|
|
|
HOURTICQ (J.-P.).-
Leçons de logique et de morale à l'usage des classes de philosophie et de mathématiques élémentaires.
P., Delagrave, 1924, in 8° relié pleine percaline verte de l'éditeur, 268 pages.
Bookseller reference : 68397
|
|
|
HOVENS Frans
Frege's Notion of Bedeutung : Tension and Transformation
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
|
|
|
HOVENS Frans
Frege's Notion of Bedeutung : Tension and Transformation
Leiden, 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
Bookseller reference : F113242
|
|
|
Hsu, John Y.
Computer Logic Design : Design Principles and Applications
Ex - library stamps in the usual places. Clean, bright and tight. Ex Library
|
|
|
Hugues (G. E.) & Cresswell (M. J.)
Introduzione alla logica modale
In-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.
Bookseller reference : UUI-12729
|
|
|
HUISMAN DENIS, VERGEZ ANDRE
LOGIQUE (COURT TRAITE DE PHILOSOPHIE)
Nathan. 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
Bookseller reference : RO60133803
|
|
|
Hunt, Jonathan
Politian and Scholastic Logic. An Unknown Dialogue by a Dominican Friar.
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.
|
|
|
HUSSERL Edmund
ARTICLES SUR LA LOGIQUE
PUF. 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
Bookseller reference : ROD0137364 ISBN : 2130334741
|
|
|
Husserl Edmund
Expérience et jugement (recherches en vue d'une généalogie de la logique)
Presses Universitaires de France Epiméthée Broché 1970 In-12 (13.5 x 18 cm), broché, 497 pages, traduit de l'allemand par D. Souche ; pliures au dos, quelques traces aux plats, par ailleurs intérieur très frais, bon état général. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.
Bookseller reference : vf781
|
|
|
HUSSERL Edmund
Logique formelle et logique transcendantale, Essai d'une critique de la raison logique
Puf Puf, 1984. In-8 broché, couverture rempliée de 446 pages. Collection Epiméthée. Excellente réimpression dans la célèbre collection « Épiméthée » de cet ouvrage majeur publié par Husserl en 1929. Dans ce texte dense et architectural, le fondateur de la phénoménologie opère une refonte radicale de la logique. Il s'agit de surmonter le logicisme abstrait en montrant comment les structures logiques et formelles s'enracinent ultimement dans l'expérience vécue et l'activité de la conscience intentionnelle. La traduction française, devenue un classique de l'histoire de la philosophie, est l'uvre de Suzanne Bachelard, qui restitue avec une clarté remarquable la complexité conceptuelle de la pensée husserlienne. . Bon état
Bookseller reference : 192646 ISBN : 2130377629
|
|
|
Husserl Edmund
Recherches logiques - Tome 1 + Tome 2 2eme partie + Tome 3 - 3 volumes - Tome 1 : Prolégomènes à la logique pure - Tome 2 2eme partie : recherches opur la phénoménologie et la théorie de la connaissance, recherches III,IV et V - Tome 3 : éléments d'une él
Presses Universitaires de France. 1972-1974. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XX+304 pages + 392 pages + 322 pages.. . . . Classification Dewey : 160-Logique
Bookseller reference : R100069381
|
|
|
I G Fichte
Sulla missione del Dotto
Cinque letture tradotte da E. Roncali con prefazione di G. Vitali; rilegatura in tela macchiata ma interno perfetto. Rilegato
|
|
|
Imre Lakatos John Worrall Elie Zahar
Proofs and Refutations: The Logic of Mathematical Discovery
Cambridge University Press 1976 188 pages 14x1 8x21cm. 1976. Broché. 188 pages.
Bookseller reference : 100147552 ISBN : 521290384
|
|
|
Inc Auto Logic Publications
The Super Catalog of Kit Cars
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Bookseller reference : 0915845008.G ISBN : 0915845008 9780915845002
|
|
|
Infantino Lorenzo
Individualism in Modern Thought: From Adam Smith to Hayek (Routledge Studies in Social and Political Thought 14 Band 13)
Routledge 1998 244 pages 15 75x2 29x23 62cm. 1998. Cartonné. 244 pages.
Bookseller reference : 100138887
|
|
|
Informatics, Law International Conference on Logic
Selected Papers: Automated Analysis of Legal Texts
North-Holland / Elsevier. Paperback. Good. THERE ARE NO TARIFFS OR CUSTOMS DUTIES ON BOOKS. Edited versions of selected papers from the second international conference on �Logic Informatics Law� held in Florence Italy in September 1985. Text entirely in English. Edited by Antonio A Martino and Fiorenza Socci Natali. Published by Elsevier Amsterdam 1986. Hardcover in blue cloth no dust jacket. Pages age-browned. Otherwise in very good condition. North-Holland / Elsevier paperback
Bookseller reference : 438983 ISBN : 0444701117 9780444701114
|
|
|
International Workshop on Field-Programmable Logic
Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications FPL'94 . Lecture Notes in Computer Science 849
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Bookseller reference : 3540584196.G ISBN : 3540584196 9783540584193
|
|
|
International Conference on Field-Programmable Logic and Applications (10th : 2000 : Villach, Austria)/ Hartenstin/ Hartenstein,
Field-programmable Logic and Applications: the Roadmap to Reconfigurable Computing: 10th International Conference Fpl 2000 Villach Austria August 27-30 2000 Proceedings
Springer Verlag 2000. Paperback. New. 1st edition. 856 pages. 9.00x6.00x1.25 inches. Springer Verlag paperback
Bookseller reference : x-3540678999 ISBN : 3540678999 9783540678991
|
|
|
International Congress of Logic, Methodology, and
Logic Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic Methodology and Philosophy of Science U . and the Foundations of Mathematics V. 134
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
Bookseller reference : 0444893415.G ISBN : 0444893415 9780444893413
|
|
|
International Conference on Logic Programming 1999 (Las Cruces, N M)/ De Schreye, Danny (Editor)/ De Schreye, Danny
Logic Programming – Proceedings of the 1999 International Conference on Logic Programming
Mit Pr 1999. Paperback. New. 450 pages. 9.25x7.25x1.50 inches. Mit Pr paperback
Bookseller reference : x-0262541041 ISBN : 0262541041 9780262541046
|
|
|
International Workshop on Logic Program Synthesis and Transformation (1997 : Leuven, Belgium)/ Fuchs, Norbert E
Logic Program Synthesis and Transformation: 7th International Workshop Lopstr '97 Leuven Belgium July 10-12 1997 Proceedings
Springer Verlag 1998. Paperback. New. 1998 edition. 342 pages. 9.25x6.00x0.75 inches. Springer Verlag paperback
Bookseller reference : x-3540650741 ISBN : 3540650741 9783540650744
|
|
|
International Conference on Logic Programming (1992 London, England)
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming
MIT Press 1992-10-27. paperback. Used: Good. 7.25x1.75x9.00. Buy with confidence. Excellent Customer Service & Return policy. MIT Press paperback
Bookseller reference : SONG0262510642 ISBN : 0262510642 9780262510646
|
|
|
International Logic Review - Rassegna Internazionale di logica
Logique - International Logic Review - Rassegna Internazionale di logica diretta Franco Spinasi A Euclidian solution of Endometric Figures II ( E. Wette ) - An apparent contradiction in Gödel's Proof par T. Chapman - The concept of time and dynamical implications par U. D'ambrioso - Toward a logic of Doubt par A/ M Hart - Wittgenstein's thory of quantification par T. F Baxley - A definition of enthymematic consequence par T. Kapitan - A new reconstruction of the master Argument of Diodurus Cronus par P. Ohrstrom - The argument from ignorance par G. Schelder - Searle and the logic of Moore's Paradox par R. M Harnish - Proof and relativity - A reply to dudman par C. J Mac Knight -
N° 21 de 1980 - In 8 broché - 93 pages
Bookseller reference : 23421
|
|
|
Ishiguro Hide
Leibniz's Philosophy of Logic and Language
Gerald Duckworth & Co Ltd 1972 176 pages 13 208x1 524x21 336cm. 1972. Broché. 176 pages.
Bookseller reference : 100127003 ISBN : 71560645
|
|
|
Ivakhnenko, A G [Alexey / Aleksei / Aleksey Grigorevich] [from the library of Alonzo Church]
Electroautomatic : Elements of the theory of electrical control systems Elektroautomatika Elektroavtomatika
Kiev: State Technical Press of Ukrainian SSR 1954. Very Good condition. SEE PHOTOS. 14 cm x 21 cm. A solid copy. Square and tight. Minor bumps/rubbing to corners. Inner hinges are sound. Pages are clean crisp and unmarked. This is the original 1954 Russian language edition. Since our book listing service does not offer the capability to enter titles using the Cyrillic alphabet the bibliographical data given above are based on an automated translation from the Russian using Babel Fish Altavista. Bound in the original blue boards with a blue cloth spine lettered in shiny gold. The author A. G. Ivakhnenko was born in the Ukraine in 1913. This book is one of his earliest publications probably the 3rd. With more than 30 monographs and over 400 published scientific articles to his credit Professor Ivakhnenko has made numerous major contributions to the fields of cybernetics automatic control adaptive learning systems and infomatics. His most influential invention is probably the Group Method of Data Handling GMDH also known as Polynomial Neural Networks. GMDH is widely used to identify unknown relationships of complex systems to solve a multitude of problems in medicine business sociology and other fields. Ivakhnenko also developed the algorithms on which the artificial intelligence tool KnowledgeMiner is based and was chief editor of the journal Avtomatika. This copy 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. But please check our inventory for several others that do. However there is a paper laid-in with bibliographic data concerning the book that appears to be written in Dr. Church's 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. Hardcover. Very Good condition/No dust acket. 8vo. 291pp. Great Packaging Fast Shipping. State Technical Press of Ukrainian SSR Hardcover
Bookseller reference : 007867
|
|
Receive by email
Download as PDF document
RSS feed
Permanent link
