‎Logique‎

‎Cassou-Noguès Pierre‎

‎I demoni di Gödel. Logica e follia‎

‎ill., br. L'adesione al pensiero razionale non preserva la psiche di chi lo esercita. Tra i molteplici esempi quello di Gödel è forse il più luminoso. Considerato il più grande logico del XX secolo, grazie ai teoremi di incompletezza (1931), Kurt Gödel fu ossessionato dal timore di essere avvelenato e finì per morire dopo aver deciso di smettere di alimentarsi. Ma accanto a queste manifestazioni ve ne furono altre ben più creative connesse alla sua credenza in demoni, angeli ed extraterrestri e ai tentativi di darne dimostrazione razionale, fino al tentativo di applicare le sue teorie alla prova ontologica dell'esistenza di Dio. alla base di questo viaggio tra logica e follia, lo studio delle migliaia di pagine inedite di Gödel, dove si trovano l'applicazione del teorema di incompltezza al diavolo, tentativi teorici stravaganti e credenze deliranti.‎

‎Cattani Adelino‎

‎FORME DELL'ARGOMENTARE‎

‎In 8, bross. ed., pp. 189.Nastro adesivo di carta con numero a penna al piede del dorso, ottime condizioni.Luogo di pubblicazione PadovaEditore Edizioni GBAnno pubblicazione 1994Materia/Argomento Logica‎

‎Cellucci Carlo a cura di; from the library of Professor Alonzo Church‎

‎La filosofia della matematica‎

‎Bari Italy: Editori Laterza 1967. Near Fine condition in a Very Good dust jacket. 13.5 cm wide by 21.5 cm tall. A clean tight copy. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wraps with a black spine. The Dust Jacket is white printed in blue and black. No chips. No tears. Complete with printed errata-corrige sheet tipped-in. This 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. 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. Near Fine condition/Very Good dust jacket. 324pp. Great Packaging Fast Shipping. Editori Laterza Paperback‎

书商的参考编号 : 006416

‎Celluprica Vincenza‎

‎La Logica Antica‎

‎Mm 125x195 Brossura editoriale di pagine 221, fioriture ai piatti, legegra deformazione da pressione, firma di precedente proprietario. Opera in buone condizioni. Spedizione in 24 ore dalla conferma dell'ordine.‎

‎Centre National Belge de Recherches de Logique‎

‎La Theorie de l'Argumentation. Perspectives et Applications‎

‎Nauwelaerts 1963. Price HAS BEEN REDUCED by 10% until Monday June 29 sale item 614 pp. Paperback very good Nauwelaerts paperback‎

书商的参考编号 : ZB948725

‎Centre national de recherches de logique‎

‎Logique et Analyse. Volumes 6-24‎

‎Bruxelles Centre national de recherches de logique 1963. Price HAS BEEN REDUCED by 10% until Monday June 29 sale item Volumes 6-24 partly bound minor library markings else text clean & bindings tight. Photos available upon request. Bruxelles, Centre national de recherches de logique unknown‎

书商的参考编号 : ZB644080

‎Centrone Marino‎

‎LOGICA FORMALE E MATERIALISMO (1977)‎

‎In 8, bross., sovraccarico., pp. 205.Lievi segni del tempo alla sovraccarico., buone condizioni.Luogo di pubblicazione BariEditore Dedalo Anno pubblicazione 1977Materia/Argomento Logica, Filosofia‎

‎CESARI P.‎

‎La logique et la science‎

‎Dunod. 1955. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos fané, Intérieur bon état. 171 pages. Scotch jauni sur les coiffes et en pied et en tête de la couverture, sur les deux plats. Couverture fanée.. . . . Classification Dewey : 160-Logique‎

‎Etude épistémologique. Classification Dewey : 160-Logique‎

书商的参考编号 : ROD0021964

‎Chavigny, Paul :‎

‎Etudes de psychologie sociale. L’esprit de contradiction. Ses manifestations individuelles et collectives.‎

‎Paris, Marcel Rivière, 1927 ; in-12, broché ; 160 pp, couverture brique imprimée en bordeaux.‎

‎Exemplaire en bon état.‎

书商的参考编号 : 4966

‎Chauvineau (Jean)‎

‎La logique moderne , n° 745 de cette collection‎

‎Presses Universitaires de France - P.U.F. , Que Sais-Je ? Malicorne sur Sarthe, 72, Pays de la Loire, France 1957 Book condition, Etat : Bon broché, sous couverture imprimée éditeur In-8 1 vol. - 128 pages‎

‎1ere édition Contents, Chapitres : 1. Description de la logique : Logique propositionnelle - Logique fonctionnelle - 2. Organisation déductive de la logique : Logique propositionnelle déductive - Logique fonctionnelle déductive - Bibliographie sommaire papier uniformément jauni, signature de l'ancien propriétaire sur la premiere page, sinon bon etat - format de poche‎

书商的参考编号 : Cyb-2578

‎CHAUVINEAU Jean‎

‎La logique moderne.‎

‎Couverture souple. Broché. 128 pages.‎

‎Livre. Editions P.U.F (Collection : Que sais-je? N° 745), 1957.‎

书商的参考编号 : 127114

‎CHAUVINEAU Jean‎

‎La logique moderne.‎

‎Couverture souple. Broché. 128 pages.‎

‎Livre. Editions P.U.F (Collection : Que sais-je? N° 745), 1980.‎

书商的参考编号 : 127116

‎CHARPENTIER, M.‎

‎Mémoire sur la nécessité d'instituer la Logique du probable‎

‎PARIS, Académie des Sciences morales et politiques - 1875 - Tiré à part du compte-rendu de l'Académie des Sciences morales et politiques - In-8 - Broché - Exemplaire non coupé - 28 pages‎

‎Envoi de l'auteur : "A Monsieur Zeller. Hommage respectueux de son ancien élève." - Livraison a domicile (La Poste) ou sur simple demande en Mondial Relay.- ATTENTION: Colis recommandé uniquement sur demande (parcel recommended on request). Si vous désirez un remboursement équivalent au montant de votre achat, en cas de perte détérioration ou spoliation, demandez-nous expressément un envoi en recommandé ( if you wish a repayment equivalent to the amount of your purchase, in case of loss - deterioration or despoliation, ask us expressly for a sending recommended)- Conditions de vente : Les frais de port sont affichés à titre Indicatifs (pour un livre) Nous pouvons être amené à vous contacter pour vous signaler le surcoût du au nopmbre de livres achetés ou du poids de ceux-ci. - Conditions of sale : The shipping costs are displayed as an indication (for one book) We may need to contact you to inform you of the cost of the additional shipping depending on the weight and the number of books- Possibilité d'envoi par Mondial-Relay - Réception en boutique sur rendez-vous. Librairie G. PORCHEROT - SP.Rance - 0681233148‎

书商的参考编号 : 10688

‎Chauvineau Jean‎

‎Que sais-je? N° 745 La logique moderne‎

‎Presses Universitaires de France Edition oriignale Première édition 2ème trimestre 1957. 1957. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 128 pages illustrées de quelques dessins en noir et blanc. . . . Classification Dewey : 160-Logique‎

‎La première encyclopédie de poche fondée en 1941 par Paul Angoulvent, traduite en 43 langues, diffusée, pour les éditions françaises, à plus de 160 millions d'exemplaires, la collection Que sais-je? est l'une des plus importantes bases de données internationnales, construite pour le grand public par des spécialistes. 3800 titres ont été publiés depuis l'origine par 2500 auteurs. Classification Dewey : 160-Logique‎

书商的参考编号 : RO90133725

‎CHARLES Emile (ed.)‎

‎La logique ou l'art de penser, ouvrage connu sous le nom de Logique de Port-Royal‎

‎vii + 485pp., Nouvelle édition publiés avec des arguments des notes et une table analytique, br.orig. (dos renforcé) protégée par papier cristal, 19cm., quelques rousseurs, bon état, F80362‎

‎CHAUVINEAU JEAN‎

‎LA LOGIQUE MODERNE‎

‎Paris Presses Universitaires de France 1969. IN-12 de 124 pages. Que sais- je? N° 745.‎

‎Cheng Eugenia‎

‎L'arte della logica. Lo strumento più potente per pensare, scegliere e agire‎

‎br. Oggi, in un mondo dominato da meme, fake news, tweet di 140 caratteri, dibattiti televisivi in cui si impone chi grida più forte, quale spazio resta per il ragionamento logico, la riflessione, la razionalità? La logica sembra ormai dominio esclusivo dei matematici, che la usano per esplorare una realtà astratta e inaccessibile ai più. Ma è davvero così? Davvero non ci si può affidare a questo strumento fondamentale dell'intelletto per navigare con sicurezza nel confuso mondo umano? In questo suo nuovo saggio Eugenia Cheng ci mostra che non è così, che la logica può essere la base per discutere in maniera costruttiva di questioni assolutamente reali e scottanti, come la discriminazione razziale, le molestie sessuali o l'assistenza sanitaria universale. Per farlo è necessario conoscere i rudimenti del ragionamento logico, ma non basta: la logica rigorosa stabilisce solo ciò che è vero e ciò che non lo è all'interno di un sistema fondato su un insieme di assiomi, distingue il bianco dal nero, non conosce quelle «zone grigie» che sono ovunque nella vita reale. Perché non sia divisiva, perché serva a conciliare concezioni diverse invece che a estremizzare le contrapposizioni, la logica va sposata a quella dimensione umana imprescindibile che è la sfera emotiva. Cheng ci spiega come il connubio tra logica ed emozioni possa renderci non semplicemente razionali (anche i computer lo sono), ma capaci di quella razionalità intelligente che è forse la caratteristica più nobile della nostra natura di uomini.‎

‎China Asian Logic Conference 1996 Beijing; C. T. Chong; Editor C. T. Chong; Editor Q. Feng; Editor D. Ding; Editor Q. Huang; Edi‎

‎Proceedings of the 6th Asian Logic Conference: Beijing China 20-24 May 1996‎

‎World Scientific Pub Co Inc 1998-06. Paperback. Good. World Scientific Pub Co Inc paperback‎

书商的参考编号 : SONG9810234325 ???????? : 9810234325 9789810234324

‎CHURCH ALONZO + EMIL L. POST. THE FOUNDATION FOR MODERN COMPUTER LOGIC‎

‎Church: A note on the Entscheidungsproblem Correction to A note on the Entscheidungsproblem Post: Finite combinatory processes-formulation I. In "Journal of Symbolic Logic" Volume 1 number 1 3 1936‎

‎Wisconsin The Association for Symbolic Logic 1936. Lev8vo. Entire volume one of "Journal of Symbolic Logic" i.e. number 1-4 March June September December 1936 BOUND WITH ALL THE ORIGINAL WRAPPERS in a blue half cloth with gilt lettering to spine. Crossed-out library paper-label to lower part of spine and top left corner of front board. Two library stamps in Chinese to back of front free end-paper. Chinese library-stamp red and stamped inventory-number lower part of all four front wrappers. Minor bumping to lower corner of nr. 4 otherwise internally a very fine and clean copy of the entire volume. Church: Pp. 40-1; 101-2. Post: Pp. 103-5. Entire volume: 218 pp. � First publication of Church's seminal paper in which he proved the solution to David Hilbert's "Entscheidungsproblem" from 1928 namely that it is impossible to decide algorithmically whether statements within arithmetic are true or false. In showing that there is no general algorithm for determining whether or not a given statement is true or false he not only solved Hilbert's "Entscheidungsproblem" but also laid the foundation for modern computer logic. This conclusion is now known as Church's Theorem or the Church-Turing Theorem not to be mistaken with the Church-Turing Thesis. The present paper anticipates Turing's famous "On Computable Numbers" by a few months. <br><br>"Church's paper submitted on April 15 1936 was the first to contain a demonstration that David Hilbert's 'Entscheidungsproblem' - i.e. the question as to whether there exists in mathematics a definite method of guaranteeing the truth or falsity of any mathematical statement - was unsolvable. Church did so by devising the 'lambda-calculus' . Church had earlier shown the existence of an unsolvable problem of elementary number theory but his 1936 paper was the first to put his findings into the exact form of an answer to Hilbert's 'Entscheidungsproblem'. Church's paper bears on the question of what is computable a problem addressed more directly by Alan Turing in his paper 'On computable numbers' published a few months later. The notion of an 'effective' or 'mechanical' computation in logic and mathematics became known as the Church-Turing thesis." Hook & Norman: Origins of Cyberspace 250 <br><br>The volume also contains first printing of Post's seminal paper in which he simultaneously with but independently of Turing describes a logic automaton which very much resembles the Turing machine. The Universal Turing Machine which is presented for the first time in Turing's seminal paper in the Proceedings of the London Mathematical Society for 1936 is considered one of the most important innovations in the theory of computation and constitutes the most famous theoretical paper in the history of computing. "Post in the present paper suggests a computation scheme by which a "worker" can solve all problems in symbolic logic by performing only machinelike "primitive acts". Remarkably the instructions given to the "worker" in Post's paper and to a Universal Turing Machine were identical." A Computer Perspective p. 125.<br><br>"The Polish-American mathematician Emil Post made notable contributions to the theory of recursive functions. In the 1930s independently of Turing Post came up with the concept of a logic automaton similar to a Turing machine which he described in the present paper the paper offered. Post's paper was intended to fill a conceptual gap in Alonzo Churchs' paper on "An unsolvable problem of elementary number theory" Americ. Journ. of Math. 58 1936. Church's paper had answered in the negative Hilbert's question as to whether a definite method existed for proving the truth or falsity of any mathematical statement the Entscheidungsproblem but failed to provide the assertion that any such definite method could be expressed as a formula in Church's lambda-calculus. Post proposed that a definite method would be written in the form of instructions to a mindless worker operating on an infinite line of "boxes" equivalent to Turing's machine's "tape". The worker would be capable only of reading the instructions and performing the following tasks. This range of tasks corresponds exactly to those performed by a Turing machine and Church who edited the "Journal of Symbolic Logic" felt it necessary to insert an editorial note referring to Turing's "shortly forthcoming" paper on computable numbers and ascertaining that "the present article. although bearing a later date was written entirely independently of Turing's" p. 103." Origins of Cyberspace pp. 111-12.<br><br>Even though Post's work to some degree has been outshined by Turing's the present paper is of seminal importance in the history of the foundation for modern computer logic and the ideological basis for the modern computer.<br><br>The volume also contains the following important papers by W. V. Quine:<br>1. Toward a Calculus of Concepts. Pp. 2-25.<br>2. Set-theoretic Foundations for Logic. Pp. 45-57.<br><br><br>Hook & Norman Origins of Cyberspace 2002: 250 356 <br>Charles & Ray Eames A Computer Perspective 1973: 125. hardcover‎

书商的参考编号 : 43552

‎CHURCH ALONZO. ALAN TURING & EMIL POST. LANDMARK VOLUME IN THE HISTORY OF LOGIC‎

‎Collection of important papers in mathematical logic: 1. Alonzo Church: A note on the Entscheidungsproblem. 2. Alonzo Church: Review of "On computable numbers .". 3. Alan Turing: Computability and lambda-definability. 4. Emil Post: Finite combinatory processes-formulation I.‎

‎The Association for Symbolic Logic 1936-1938. Royal8vo. In: Journal of Symbolic Logic Volume 1-3. The three entire volumes bound in one offered here. Contemporary full cloth with silver gilt spine lettering. Provenance: Exlibris from the Rockefeller Institute for Medical Research New York. A fine and completely clean copy. � All first editions. <br><br>First paper: Church's paper submitted on April 15 1936 was the first to contain a demonstration that David Hilbert's 'Entscheidungsproblem' - i.e. the question as to whether there exists in mathematics a definite method of guaranteeing the truth or falsity of any mathematical statement - was unsolvable. Church did so by devising the 'lambda-calculus'. Church had earlier shown the existence of an unsolvable problem of elementary number theory but his 1936 paper was the first to put his findings into the exact form of an answer to Hilbert's 'Entscheidungsproblem'. Church's paper bears on the question of what is computable a problem addressed more directly by Alan Turing in his paper 'On computable numbers' published a few months later. The notion of an 'effective' or 'mechanical' computation in logic and mathematics became known as the Church-Turing thesis. Hook & Norman: Origins of Cyberspace 250.<br><br>Second paper: Church coined the phrase 'Turing machine' in this review of Turing's paper 'On computable numbers'. With regard to Turing's proof of the insolvability of Hilbert's 'Entscheidungsproblem' Church acknowledged that "computability by a Turing machine . has the advantage of making the identification with effectiveness in the ordinary not explicitly defined sense evident immediately - i.e. without the necessity of proving preliminary theorems". Hook & Norman: Origins of Cyberspace 251.<br><br>Third paper: In this paper Turing first completed the cycle of proving that his 'computable functions' Church's 'lambda-definable functions' the and the 'general recursive functions' developed by Herbrand G�del and Kleene are all identical. Hook & Norman: Origins of Cyberspace 395.<br><br>Fourth paper: The Polish-American mathematician Emil Post made notable contributions to the theory of recursive functions. In the 1930s independently of Turing Post came up with the concept of a logic automaton similar to a Turing machine which he described in the present paper received on October 7 1936. Post's paper was intended to fill a conceptual gap in Alonzo Church's paper on 'An unsolvable problem of elementary number theory'. Church had answered in the negative Hilbert's 'Entscheidungsproblem' but failed to provide the assertion that any such definitive method could be expressed as a formula in Church's lambda-calculus. Post proposed that a definite method would be one written in the form of instructions to mind-less worker operating on an infinite line of 'boxes' equivalent to the Turing machines 'tape'. The range of instructions proposed by Post corresponds exactly to those performed by a Turing machine and Church who edited the Journal of Symbolic Logic felt it necessary to insert an editorial note referring to Turing's "shortly forthcoming" paper on computable numbers and asserting that "the present article . although bearing a later date was written entirely independently of Turing's". Hook & Norman: Origins of Cyberspace 356.<br><br><br>Hook & Norman: Origins of Cyberspace no. 250 251395356. hardcover‎

书商的参考编号 : 35720

‎Church Alonzo; et al. from the library of Alonzo Church‎

‎Summaries of Talks Presented at the Summer Institute for Symbolic Logic Cornell University 1957‎

‎Institute for Defense Analyses / Communications Research Division 1960. Very Good condition. A clean square tight copy. Hinges are perfect. No owner's name or bookplate. Pages are unmarked. No underlining. No highlighting. No margin notes. Oversize Hardcover. 8.5" wide by 11" tall. Contains dozens of scholarly papers including a 90-page expanded version of APPLICATION OF RECURSIVE ARITHMETIC TO THE PROBLEM OF CIRCUIT SYNTHESIS by Alonzo Church. From the foreword: "Corrections supplied by the authors have been incorporated directly on the pages affected. Where this has not been possible there are errata listings at the end of the summary. Professor Church supplied a considerably revised and longer version of his paper. To preserve the original page numbers of remainder of the volume the device of 'A-pages' has been used so that Professor Church's article still falls between pages 3 and 50 even though it is some ninety pages long." Bound in the original gilt-lettered maroon leatherette. Sponsored by the American Mathematical Society under a grant from the National Science Foundation. This 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. 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. Second Edition Corrected and Expanded. Oversize Hardcover. Very Good condition/No Jacket. 427pp. Great Packaging Fast Shipping. Institute for Defense Analyses / Communications Research Division Hardcover‎

书商的参考编号 : 006238

‎Church Alonzo‎

‎The Journal of Symbolic Logic Vol. 38 Nos. 2 3 4 Jun Sep Dec 1973‎

‎Providence RI: Assoc for Symbolic Logic 1973. Ex-Library. Paperback. Very Good-/None. Three off-white softcovers toned along spine. Bindings are sound and interiors unmarked. Ex-university library. 8vo. Edited by Alonzo Church C. E. M. Yates Dagfinn Follesdal Burton S. Dreben Anil Nerode and Gerald E. Sacks Assoc for Symbolic Logic paperback‎

书商的参考编号 : 15617

‎Church Alonzo‎

‎The Journal of Symbolic Logic Vol. 41 Nos. 1 and 2 Mar and Jun 1976‎

‎Providence RI: Assoc for Symbolic Logic 1976. Ex-Library. Paperback. Very Good-/None. Two off-white softcovers toned along spine. Bindings are sound and interiors unmarked. Ex-university library. 8vo. Edited by Alonzo Church Herbert Enderton C. E. M. Yates Dagfinn Follesdal Burton S. Dreben Anil Nerode and Carl G. Jockusch Assoc for Symbolic Logic paperback‎

书商的参考编号 : 15618

‎Church Alonzo‎

‎The Journal of Symbolic Logic Vol. 39 Nos. 1-4 Mar Jun Sep Dec 1974‎

‎Providence RI: Assoc for Symbolic Logic 1974. Ex-Library. Paperback. Very Good-/None. Four off-white softcovers toned along spine. Bindings are sound and interiors unmarked. Ex-university library. 8vo. Edited by Alonzo Church C. E. M. Yates Dagfinn Follesdal Burton S. Dreben Anil Nerode and Carl G. Jockusch Assoc for Symbolic Logic paperback‎

书商的参考编号 : 15609

‎Church Alonzo the author's copy‎

‎The Need for Abstract Entities in Semantic Analysis in Contributions to the Analysis and Synthesis of Knowledge Proceedings of the American Academy of Arts and Sciences Vol. 80 No. 1 July 1951‎

‎No place but Cambridge MA: American Academy of Arts and Sciences 1951. Good condition. Cover soil. 15.5 cm x by 23.5 cm. Bound in the original blue wrappers. There is a thin band of darkening 1 cm along the edges. Small chip to one corner of the front wrapper. Theory of mathematical semantics for computer languages. Published in cooperation with The Institute for the Unity of Science. Among the articles in this issue is THE NEED FOR ABSTRACT ENTITIES IN SEMANTIC ANALYSIS pp. 100-112 by Alonzo Church. 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. However this booklet's title has been handwritten on the spine in what appears to be Professor Church's handwriting. In addition page 99 has been supplied in manuscript apparently the page was initially blank due to printer's error. However that error turned into a blessing as this page about 285 words also appears to be entirely in Professor 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. Softcover. Good condition. 122pp. Great Packaging Fast Shipping. American Academy of Arts and Sciences Paperback‎

书商的参考编号 : 009079