|
|
|
FERIDEDDIN-I ATTAR.
Ilâhiname. Translated by Abdülbaki Gölpinarli.
Very Good English Paperback. Pbo. Foolscap 8vo. (18 x 12 cm). In Turkish. [xiii], 297 p. Ilâhiname. Translated by Abdülbaki Gölpinarli.
|
|
|
FEYS R.
De ontwikkeling van het logisch denken
Antwerpen, Standaard-Boekhandel (Philosophische Bibliotheek), 1949, 220pp., 23cm.
|
|
|
FEYS R.
De ontwikkeling van het logisch denken
, Antwerpen, Standaard-Boekhandel (Philosophische Bibliotheek), 1949, 220pp., 23cm.
Referenz des Buchhändlers : F14001
|
|
|
Feys, L'Abbe Robert; Alonzo Church (from the library of)
Notions de logistique
Bruxelles Belgium: Privately Published 1936. Good condition. Chip to corner of front cover. Author's business card laid in with "Hommage de l'auteur" handwritten in ink. 102 pages mimeographed on rectos only blank versos. Bound in stiff card wraps with a beige cloth spine. The author's name is hand inked on the spine. Feys was a frequent contributor of reviews to JOURNAL OF SYMBOLIC LOGIC. Oversize Softcover. 8.25" wide by 10.75" tall. 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. 1st ed No additional printings listed. Oversize Softcover. Good condition. Illus. by NOT a library discard. vii 102 pages. Great Packaging Fast Shipping. Privately Published? Paperback
Referenz des Buchhändlers : 024710
|
|
|
Filocamo Giovanni
Mai più Paura Della Matematica. Come Fare Pace Con Numeri e Formule
Mm 130x200 Collana Universale Economica Feltrinelli. Brossura di pp. 258. Opera in buonissime condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE
|
|
|
Fink, Donald G.
Le Macchine Calcolatrici. Come sono Fatte e come Funzionano
Mm 115x185 Collana "Biblioteca di Monografie Scientifiche" - Brossura editoriale, 160 pagine con 42 ill. nel testo. Opera in ottime condizioni, come nuova.
|
|
|
Fink, Donald G.
Le Macchine Calcolatrici. Come Sono Fatte e Come Funzionano
Mm 115x185 Collana Biblioteca di Monografie Scientifiche. Brossura editoriale di pp. 160 con 42 ill. nel testo. Opera in ottime condizioni.
|
|
|
FIORENTINO Francesco.
Elementi di filosofia ad uso dei licei. A cura di Giovanni Gentile. Parte I. Psicologia e Logica.
Torino, G. B. Paravia, 1922, in-16, br. editoriale, pp. XIX, (1), 292, (2). Copertina di Brugo. Note marginali manoscritte in inchiostro, ed appunti allegati. "Biblioteca di Filosofia e di Pedagogia".
|
|
|
Fischer, Franz
Proflexion. Logik der Menschlichkeit, Späte Schriften und letzte Entwürfe, 1960 - 1970. Hrsg. v. Michael Benedikt u. Wolfgang W. Priglinger.
Wien, Löcker 1985. 625 S., ill. Okart., neuwertig. (= Werkausgabe; 4).- "Franz Fischers (1929-1970) Studien und Sprachexperimente zur Logik der Mitmenschlichkeit beginnen eine Zusage ohne Versprechen einzulösen - daß die Dialogphilosophie von Feuerbach zu Buber und Rosenzweig heute weder der Wissenschaftsphobie noch der romantischen Nacktheit nachgeben darf." (Klappe)
Referenz des Buchhändlers : PHIL0001a
|
|
|
Fischhaber, Gottlob Christian Friedrich
Lehrbuch der Logik. Für Gymnasien und andere Lehranstalten. M. Gottlob Christian Fried. Fischhaber, Professor der Philosophie am Königl. Oberen Gymnasium zu Stuttgart.
Stuttgart, Steinkopf Verlag, 1818. Klein-8°. 18 cm. XII, 211 Seiten. Neuerer Pappband.
Referenz des Buchhändlers : 56637BB
|
|
|
FLORENZI WADDINGTON MARIANNA.
Saggi di psicologia e di logica.
In 16°, mezzapelle con angoli, conservate le brossure, pp. 260, buon esemplare. LIB XD4B LIB XD4B
|
|
|
Flum, Jörg / Martin Ziegler
Topological Model Theory.
Berlin, New York: Springer (Lecture Notes in Mathematics, 769), 1980. X, 149 S. (24 cm) Broschierte Ausgabe
Referenz des Buchhändlers : 61879
|
|
|
Forster-Nietzsche, Frau [Elizabeth]; Translated by Anthony M Ludovici
The Young Nietzsche
London: William Heinemann 1912. EX-LIBRARY with call numbers on spine internal pocket and stamps on front endpapers only. Square and surprisingly tight. Solid reading copy of the scarce First Edition in English. Corners worn and spine ends frayed. Pages are clean and bright and completely unmarked. Inner hinges are sound. No foxing. No underlining. No highlighting. No margin notes. Illustrated with frontispiece portrait of Friedrich Nietzsche and 10 other photographic plates. This is a biography by the philosopher's sister. From the preface: "In the following pages I have endeavoured to depict the young and happy Nietzsche not only during a given well-defined period but throughout the whole of the thirty-two happy years of his youth from 1844 to 1876. I alone can speak with any real knowledge of these years for as Baron von Gersdorff and Rohde once said to me: 'We are acquainted only with small portions of his life; but you know everything that links those isolated portions together.'" Index. Original blue cloth . First Printing of the First UK Edition. Hardcover. Good EX-LIBRARY. 8vo. xi 399pp . William Heinemann Hardcover
Referenz des Buchhändlers : 012055
|
|
|
FOULQUIE P
NOUVEAU PRECIS DE PHILOSOPHIE. PSYCHOLOGIE LOGIQUE MORALE. 2 VOLUMES COMPLET
Paris, Les éditions de l'école 1957. 2 volumes in-8 carrés, couvertures illustrées de 365 + 444 pages illustrées. Bel exemplaire
|
|
|
FRAISSE ROLAND
L' ALGEBRE LOGIQUE ET SES RAPPORTS AVEC LA THEORIE DES RELATIONS - 1967
In 8, pp. 78, br. Lievissimi difetti al dorso. Buon esemplare (6118/ ALGEBRA - LOGICA)
|
|
|
Fraisse, Roland [Fraisse] [from the library of Alonzo Church]
Sur quelques classifications des systèmes de relations / Propositions données par la faculté
Chartres: Imprimerie Durand 1955. Very Good condition. 16 cm x 24.5 cm. A solid copy. Bound in the original paper wrappers a little age-toned and lightly chipped at the spine ends. NO owner's name or bookplate. Pages are clean and unmarked. Relation theory. Ph.D. thèses présentées a la faculté des sciences de l'université de Paris. soutenues le 29 octobre 1953. Text in French with English summary. This work was reviewed by Paul Dedecker in Alonzo Church's JOURNAL OF SYMBOLIC LOGIC Volume 22 Issue 4 1957 371-372. The French mathematical logician Roland Fraïssé 1920-2008 received his doctoral degree from the University of Paris in 1953. In this his thesis Fraïssé devised a method of determining elementary equivalence. Using a back-and-forth methodology he determined whether two model-theoretic structures were elementarily equivalent. It was later formulated as the Ehrenfeucht-Fraïssé game. 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 Thus première édition. Softcover. Very Good condition. 155pp. Great Packaging Fast Shipping. Imprimerie Durand Paperback
Referenz des Buchhändlers : 009116
|
|
|
France); J Stern Logic Colloquium (1981 : Marseil
Proceedings of the Herbrand Symposium Studies in Logic & the Foundations of Mathematics
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
Referenz des Buchhändlers : 0444864172.G ISBN : 0444864172 9780444864178
|
|
|
Francesco Albergamo
Storia della logica delle scienze empiriche
Biblioteca di cultura moderna n. 492
|
|
|
Francesco Albergamo
Storia della logica delle scienze esatte
Biblioteca di cultura moderna numero 432
|
|
|
Francesco Berto
Logica da zero a Godel
Francesco Berto Logica da zero a Godel. , Laterza and Figli 2007, Copertina cartonata con alette informative, tagli sporchi di polvere e ingialliti lievemente, pagine leggermente ingiallite. Buono (Good) . <br> <br> <br> 214<br>
|
|
|
Franci F. (cur.); Pagliaro V. (cur.); Ricci G. (cur.)
La cultura dell'incertezza. Fuzzy-logica-realtà-sanità-arte
br. Nella misura in cui le leggi della matematica si riferiscono alla realtà non sono certe. E nella misura in cui sono certe, non si riferiscono alla "realtà". In tale antinomia A.Einstein descrisse l'incompatibilità tra l'idea di certezza e quella di precisione, ovvero la profonda crisi epistemologica che caratterizzò il pensiero scientifico del novecento: l'indeterminazione concettuale dei fenomeni, l'indicibilità di alcune asserzioni logiche e la vaghezza del rapporto tra mondo reale e mondo linguistico. A far seguito a tale rivoluzione paradigmatica, il tempo dimostrò presto i limiti della logica classica quale strumento inferenziale per descrivere la complessità della realtà. La logica fuzzy, valorizzando i paradossi e le ricorsività proprie della realtà, facilita la modellizzazione di sistemi complessi. L'autorevolezza della logica fuzzy risiede nella capacità di rappresentare la realtà mediante valori diversi dai semplici vero-falso, bianconero o 0-1, insite nella tradizione della logica classica, ma valutando tutte le sfumature di un mondo fatto principalmente di grigi, di verità parziali e di valori continui, anche di quelli apparentemente scollegati tra loro. Nel corso del testo, dopo una divulgativa introduzione ai principi della logica fuzzy, saranno affrontate in forma discorsiva alcune questioni, fortemente differenziate tra di loro, ma con in comune i caratteri propri della complessità del mondo...
|
|
|
FRANCO RIZZO
WERNER SOMBART
LIGUORI 1974 237 PP. FONDO DI MAGAZZINO: PERFETTO E INTONSO<br/>
|
|
|
François Richaudeau
La Lettre et l'Esprit - numéroté 874
Éditions planète 1965 101 pages in8. 1965. broché. 101 pages. La Lettre et l'Esprit de François Richaudeau est un essai qui propose une réflexion novatrice sur la typographie défendant l'idée d'une typographie "foisonnante" adaptée aux exigences modernes de lecture et de communication. L'auteur ingénieur et éditeur y analyse avec un regard neuf comment la forme (la lettre) doit servir le fond (l'esprit) pour une lecture optimale
Referenz des Buchhändlers : 9777
|
|
|
Freeman, Eugene
The categories of Charles Peirce Chicago, Univ. of Chicago, Diss., 1937
Chicago, The Univ. of Chicago Libraries, 1937. original kartoniert, 8?, 62 S.; Einband mit kl L?sur
Referenz des Buchhändlers : HC10-426
|
|
|
Frege Gottlob
Foundations of Arithmetic 2e Revised
John wiley & sons 1980 144 pages 14x1 2x21cm. 1980. Broché. 144 pages.
Referenz des Buchhändlers : 100137817
|
|
|
FREGE Gottlob,
Ecrits logiques et philosophiques,
Seuil, L'ordre philosophique, 1971, 233 pp., broché, tranches brunies, couverture partiellement jaunie, traces d'usage, état correct.
Referenz des Buchhändlers : 43410
|
|
|
Fresnais Roger e Guillot Marcel
Fresnais e Guillot. Cubomania. La soluzione in 5 minuti. Cronus 1981.
Fresnais Roger e Guillot Marcel Fresnais e Guillot. Cubomania. La soluzione in 5 minuti. Cronus 1981.. Torino, Cronus Editrice 1981 italiano, in sedicesimo pp. 51 36786 Fresnais e Guillot. Cubomania. La soluzione in 5 minuti. Cronus 1981. In-16. pp. 51. Brossura. Perfetto.
|
|
|
FREUDENTHAL H.
Logique mathématique appliquée.
Gauthier-Villars Nauwelaert 1958 Paris, Gauthier-Villars / Louvain, E. Nauwelaerts, Collection de Logique Mathématique, Série A, 1958, 57 p., broché, environ 25x16cm, avec un envoi de l'auteur. Couverture insolée, nom de l'auteur manuscrit sur le dos, bas du dos émoussé, dos en partie décollé, des annotations sur les pages.
Referenz des Buchhändlers : 114843
|
|
|
Frigerio, Aldo
Filosofia del linguaggio
Mm 135x210 Brossura editoriale di 208 pagine, con sottolineature e postille a matita solo fino a pagina 10. Opera in ottime condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
|
|
|
Frixione Marcello; Palladino Dario
La computabilità, algoritmi, logica, calcolatori
br. La teoria della computabilità è un settore della ricerca logico-matematica che studia la nozione di calcolo effettuabile in modo meccanico. Nata negli anni trenta del secolo scorso, ha assunto un ruolo centrale per la nuova scienza dei calcolatori nel secondo dopoguerra. Il testo si propone di esporre i concetti fondamentali della computabilità senza presupporre alcuna conoscenza tecnica preliminare, guidando così il lettore in un percorso ai confini tra logica, informatica, intelligenza artificiale e teorie della mente.
|
|
|
FroufrouRédacteur en chef : Maurice Coriem
FroufrouFillocheau... (Plick et plock) - Soupir royal (Combarailles) - L'accordeur (Maximilien de Valmont) - Théorie pratique (Georges De Lys) - L'uniforme (Gidel) - Dans un lit, situation critique (W. de Pawlowski) - Histoire simple et logique (Hugues Delorme) - La nuit d'amour d'Antonin (Gemis) - Effeuillez la marguerite (jeu) - Que monsieur me jette à la porte (Georges Dolley) - Dans la lune (Pépé) - Permis de chasse (Jean de Lascoumettes) - Petit trou pas cher (E. C.) - Le Don Juan de Vincennes (Rodolphe Bringer) - ...
Nouvelle série - 2e année - N° 41 - 12 septembre 1923 - Journal illustrée - Paraît le mercredi - Format journal de 6 pages
Referenz des Buchhändlers : 49089
|
|
|
Fuji International Symposium on Functional and Logic Programming (5th : 2001 : Tokyo, Japan)/ Ueda, Kazunori (Editor)
Functional and Logic Programming: 5th International Symposium Flops 2001 Tokyo Japan March 7-9 2001 : Proceedings
Springer Verlag 2001. Paperback. New. 1st edition. 389 pages. 9.50x6.25x1.00 inches. Springer Verlag paperback
Referenz des Buchhändlers : x-3540417397 ISBN : 3540417397 9783540417392
|
|
|
Fun Logic
Sequencing Flip Book
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Referenz des Buchhändlers : 1931209510.G ISBN : 1931209510 9781931209519
|
|
|
FURSTENBERG Jean
Dialectique du XXème siècle - Essai pour une logique du réel
,Paris, Plon 1956, 311 pp., 1 vol. in 12 br. beaucoup d'annotations au crayon de mine
Referenz des Buchhändlers : 10525
|
|
|
Furukawa, K.;Tanaka, H.; Fujisaki, T. (eds.)
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (Lecture Notes in Artificial Intelligence 485)
Stickers to front cover. Minor wear. Library markings. (Lecture Notes in Artificial Intelligence 485) Ex-Library
|
|
|
Furukawa, Koichi
Logic Programming: Proceedings of the Eighth International Conference
|
|
|
G. BIRKHOFF
Hydro-dynamics. A study in logic, fact and similitude by Garret Birkhoff
G. BIRKHOFF Hydro-dynamics. A study in logic, fact and similitude by Garret Birkhoff. U.S.A, Dover 1955 english, 186 BTT47 Brossura editoriale volume in buone condizioni, segni di usura causati dal fattore tempo sulla copertina, interno in ottimo stato, legatura salda, testo in inglese 186 pagine circa Copertina come da foto
|
|
|
G. ROUDAUT & W. SECK & H. SILLY
QCM DE LOGIQUE
STUDYRAMA 2e édition. NON DATE. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 136 pages.. . . . Classification Dewey : 160-Logique
Referenz des Buchhändlers : R240006264
|
|
|
Gabbay, Augustus de Morgan Professor of Logic Dov
Principles of Talmudic Logic Studies in Talmudic Logic
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
Referenz des Buchhändlers : 1848900937.G ISBN : 1848900937 9781848900936
|
|
|
Gabbay, Augustus de Morgan Professor of Logic Dov
Synthesis of Concepts in the Talmud Studies in Talmudic Logic Hebrew Edition
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
Referenz des Buchhändlers : 1848900872.G ISBN : 1848900872 9781848900875
|
|
|
GABBAY/GUENTHER D./F.( (Editors).
HANDBOOK OF PHILOSOPHICAL LOGIC. III: ALTERNATIVES TO CLASSICAL LOGIC.
|
|
|
GABRIEL TARDE
SCRITTI SOCIOLOGICI. A CURA DI FRANCO FERRAROTTI
DISPONIBILITÀ GARANTITA AL 99%; SPEDIZIONE ENTRO 12 ORE DALL'ORDINE. FONDO DI MAGAZZINO PARI AL NUOVO. LIEVISSIMI SEGNI DEL TEMPO. Gabriel Tarde (1843, 1904) è stato un sociologo e criminologo francese. Deve la sua notorietà alla teorizzazione del meccanismo dell'invenzione-imitazione come molla della vita sociale. Fu un fine studioso dell'influenza dei mezzi di comunicazione di massa, ma si occupò anche di psicologia sociale, con riferimento all'economia, e di criminologia. In questo campo, applicando la statistica come mezzo di analisi, dimostrò la natura sociale del crimine e la responsabilità individuale, di contro alle teorie biologiche, e in particolare lombrosiane. Descrizione bibliografica Titolo: Scritti sociologici Autore: Gabriel Tarde Curatore: Franco Ferrarotti Traduzione dal francese di: Vincenzo Pasquali Editore: Torino: Unione tipografico-editrice torinese (UTET), 1976 Edizione: Ristampa aggiornata 1996 Lunghezza: 568 pagine; 24 cm Peso: 1,3 Kg ISBN: 8802026882, 9788802026886 Collana: Volume 12 di Classici della sociologia Soggetti: Sociologia, Scienze sociali, Antropologia, Criminologia, Psicologia sociale, Edizioni pregiate, Libri Vintage Fuori catalogo, Libri universitari, Logique sociale, Bibliografia, Riferimento, Leggi dell'imitazione, Logica sociale, Economia politica, Invenzione, Archeologia, Statistica, Similitudini sociali, Società, Ripetizione universale, Leggi logiche, Influenze extralogiche, Questione criminale, Aristotele, Cesare Augusto, Burckhardt, Carlo V, Darwin, Durkheim, Cournot, Comte, Jusserand, Stuart Mill, Lazarslfed, Luigi XIV, Cesare Lombroso, Napoleone, Newton, Lutero, Maometto, Maine Sumner, Ribot, Ramsete II, Spencer, Platone, Sociologi francesi, XIX secolo, Sciences Politiques, Scienze politiche, Problèmes de criminalité, Sociologie politique, Hautes Études Sociales, Psychologie morale et criminelle, Studi, Teorie sociologiche, Collège de France, Scuola di Chicago, Scuola positiva, Les Lois sociales, Opposizione, Adattamento, Multitudes, Comportamento, Analisi, Critica, Opere generali, Sociology, Social Sciences, Anthropology, Criminology, Social Psychology, Fine Editions, Out of Print Books, University Books, Bibliography, Reference, Imitation Laws, Social Logic, Political Economy, Invention, Archeology, Statistics, Social Similarities, Society, Universal Repetition , Logical laws, Extra-logical influences, Criminal question, Aristotle, Caesar Augustus, Charles V, Louis XIV, Cesare Lombroso, Luther, Mohammed, Ramses II, Plato, French sociologists, XIX century, Political sciences, Studies, Sociological theories, Positive school, Opposition, Adaptation, Behavior, Analysis, Criticism, Sociological Writings, General Works
|
|
|
Gacôgne Louis
Eléments de logique floue.
Hermes. 1997. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 253 pages - nombreuses figures en noir et blanc dans le texte - une étiquette collée sur le 2ème plat.. . . . Classification Dewey : 160-Logique
Referenz des Buchhändlers : R100072978
|
|
|
Gaitsch, Peter
Eric Weils Logik der Philosophie. Eine phänomenologische Relektüre.
Freiburg i. Br., Alber 2014. 451 Seiten. Softcover/Paperback
Referenz des Buchhändlers : 94870
|
|
|
GALATI Domenico.
Galileo e Rosmini. Manifesto per una nuova civiltà.
In-8° pp. 339 con ill. n.t. Leg. edit. con sovrac. ill. Ottimo sttao salvo tracce di targhetta al dorso.
|
|
|
Ganser, Anton
Das Weltprinzip und die transcendentale Logik.
Lpz., Friedrich 1897. VII, 155 S., OBr., tlw. unaufgeschn., Umschlag stark Flüssigkeitsrandig u. schmutzig, randrissig, vord. Rückenkante zur Hälte aufgerissen, Rücken rissig, Innentit. schwach stockfl. mit Randknick, vordere Seiten mit Knickspur, zahlr. Bleistiftunterstr. sowie Notizen.
Referenz des Buchhändlers : PHIL0090
|
|
|
Gaos, Jose; Ludwig Landgrebe; Enzo Paci; John Wild [from the library of Alonzo Church]
Symposium sobre la noción husserliana de la lebenswelt
México: Universidad Nacional Autónoma De México Centro De Estudios Filosoficos 1963. Near Fine condition. 14 cm x 22.5 cm. Bound in the original brown wrappers. NO owner's name or bookplate. Pages are clean and unmarked. This booklet contains four papers on Edmund Husserl principal founder of phenomenology and his notion of lebenswelt life world -- 1 in Spanish 2 in German and 1 in English. XIII Congreso Internacional De Filosofia México D.F 7-14 De Septiembre De 1963. Proceedings of the XIIIth International Congress of Philosophy. 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 Primera edición. Softcover. Near Fine condition. ii 95pp. Great Packaging Fast Shipping. Universidad Nacional Autónoma De México Centro De Estudios Filosoficos Paperback
Referenz des Buchhändlers : 009107
|
|
|
Garcia Bacca, Juan David; [from the library of Alonzo Church]
Textos clasicos para la historia de las ciencias volumen segundo
Caracas: Universidad Central de Venezuela Instituto de Filosofía Facultad de Humanidades y Educación 1968. Very Good condition. A solid copy. Light cover soil. NO underlining. NO highlighting. NO margin notes. 16 cm x by 23 cm. Universidad Central de Venezuela Instituto de Filosofía Facultad de Humanidades y Educación. Biblioteca filosofíca del anuario "Episteme." 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 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 Thus Primera edición. Softcover. Very Good condition. 252pp. Great Packaging Fast Shipping. Universidad Central de Venezuela, Instituto de Filosofía, Facultad de Humanidades y Educación Paperback
Referenz des Buchhändlers : 009075
|
|
|
Gardner Howard
FORMAE MENTIS Saggio sulla pluralit? dell'intelligenza
Campi del sapere/Feltrinelli - Dedica - Nuova introduzione - Prefazione - Nota al Progetto sul potenziale umano - Parte prima: Lo sfondo - Parte seconda: La teoria - Parte terza: Implicazioni e applicazioni - Nota conclusiva - Note 1 21,5x13 cm., legatura editoriale cartonata, pp. 457 (2), nona edizione italiana, ottimo stato
|
|
|
Gardner Martin a cura di
Enigmi e giochi matematici
trad. di Mario Carlà n. 4 bross. edit. con bandelle, lievi tracce d'uso in cop.
|
|
|