‎Logique‎

‎Carruccio, Ettore‎

‎Mondi della Logica‎

‎Mm 115x185 Collana "Matematica moderna" - Brossura originale, 152 pagine. Opera in ottimee condizioni.‎

‎Casari, Ettore (a cura di)‎

‎Dalla Logica alla Metalogica. Scritti fondamentali di Logica Matematica‎

‎Mm 170x240 Collana "Manuali Sansoni" - Brossura editoriale, 271 pagine con bibliografia in chiusura. Copia ottima, mai letta. Spedizione in 24 ore dalla conferma dell'ordine.‎

‎Cassirer Ernst‎

‎Rousseau Kant and Goethe : Two Essays‎

‎Princeton New Jersey: Princeton University Press 1970. 5.5" wide by 8.5" tall. Small spot on title page. Previous owner's name. Covers lightly rubbed. Translated from the German by James Gutmann Paul Oscar Kristeller and John Herman Randall Jr. Later printing. Trade Paperback. Very Good condition. xv 98pp. Princeton University Press Paperback‎

書籍販売業者の参照番号 : 009876

‎CATTANEO Carlo (Milano 1801 - Lugano 1869)‎

‎SCRITTI FILOSOFICI. A cura di Giacomo PERTICONE. Collezione "Pensatori italiani", promossa dal R.Istituto di Studi Filosofici. [Psicologia. Ideologia. Linguistica. Logica. Diritto. Morale. L'uomo nella famiglia. L'uomo nel commercio].‎

‎In-8° (cm. 20,7), pp. 428. Bross. edit. Solido ed integro, appena scurito al dorso. Contiene l'ampia inroduzione, la Prolusione al corso di filosofia al Liceo del Ticino (!852) e "i saggi più organici e ampi dedicati ai problemi della filosofia". CATTANEO, psicologo più che filosofo, cercò di realizzare un'interpretazione sociale dello sviluppo psicologico dell'individuo. Nelle scienze penali precorse i moderni concetti di responsabilità. Nella linguistica, le sue osservazioni sul fenomeno del "sostrato" furono riprese e sviluppate da G. I. Ascoli; notevoli, inoltre, le critiche mosse alle teorie delle migrazioni dei "popoli" indoeuropei, formulate dalla prima linguistica romantica (critiche confermate dall'ulteriore sviluppo della linguistica indoeuropea).‎

‎CECILE COLLETTE‎

‎"LA VIOLENCE "" Le monde expliqué aux vieux"""‎

‎EDITIONS 10/18 N° 4592. 2013. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 139 Pages, couverture illustrée en couleur. . . . Classification Dewey : 160-Logique‎

‎INEDIT Classification Dewey : 160-Logique‎

書籍販売業者の参照番号 : RO90004592

‎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. Sharp corners. The spine is square and flat with NO creases. Pages are unmarked. Biblioteca di Cultura Moderna #638. Bound in the original white wrappers with a black paper spine. The lightly rubbed Dust Jacket is white printed in blue and black. 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‎

書籍販売業者の参照番号 : 009065

‎CENTER FOR LOGIC‎

‎THE JOURNAL OF NON-CLASSICAL LOGIC. VOLUME 7 NUMBER 1/2. 1990‎

‎UNICAMP -- BRAZIL 1/1/1990. Paperback. Very Good. NICE CONDITION SOFTCOVER BOOK. NO WRITING OR MARKINGS IN TEXT. LIGHT WEAR TO COVER. A CLEAN AND SOLID BOOK. UNICAMP -- BRAZIL paperback‎

書籍販売業者の参照番号 : D-872

‎Centre National Belge de Recherches de Logique‎

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

‎Louvain: Nauwelaerts 1963. Paperback. Very Good. Paperback 1963 octavo 614pp. tipped in photo at front endpapers otherwise not illustrated. Book VG with rubbing foxing and soil to wrap binding tight text clean and unmarked. No DJ. Text in French. Nauwelaerts paperback‎

書籍販売業者の参照番号 : B29136

‎Centro superiore di logica e scienze comparate.‎

‎International Logic Review. volumes 1-17. 1970-1986‎

‎International Logic Review 1970-1986. Price HAS BEENR REDUCED by 10% until Monday June 29 sale item volumes 1-17 1970-1986 an uninterrupted run of complete volumes partly bound library markings textually clean & tight PRICE IS FOR THE LOT. Photos available upon request. International Logic Review unknown‎

書籍販売業者の参照番号 : ZB394721

‎Ceretti, Pietro‎

‎Saggio Circa La Ragione Logica di Tutte le Cose [Vol 2]‎

‎8' 544 PP. Softcover. Cover sligthly torn and detached, and somewhat stained. Spine torn and worn. Pages partly uncut. Pa ges somewhat stained. Else poor condition.‎

‎CHAPONNIERE, Pernette.‎

‎Au fil du temps. Ouvrage illustré de quatre sépias d’Olga Reiwald.‎

‎Genève, Editions du Journal de Genève 1961, 190x135mm, 100pages, reliure demi-chagrin à coins. Plats papier fantaisie. Auteur, titre et filet dorés au dos à faux-nerfs. Couverture supérieure conservée. Belle reliure. Bel exemplaire. Un des 75 exemplaires de luxe sur papier hollandais à la cuve Van Gelder, numéroté n.° XXVII / LXXV.‎

書籍販売業者の参照番号 : 78906

‎CHAUVELOT, Diane - P. Kaufmann (Avant-propos de)‎

‎L'inconscient dans tous ses états‎

‎1990 Editions Point Hors Ligne, Collection "Problèmes actuels de la psychanalyse" - 1990 - In-8, broché, couverture illustrée - 205 p.‎

‎Bon état - Dos insolé - Menus plis et frottements - Coins légèrement émoussés‎

書籍販売業者の参照番号 : 109249

‎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 1969 Book condition, Etat : Bon broché, sous couverture imprimée éditeur verte et bleue In-8 1 vol. - 128 pages‎

‎quelques schémas dans le texte 5eme édition, 1969 Contents, Chapitres : Introduction - 1. Description de la logique : Logique propositionnelle - Logique fonctionnelle - 2. Organisation déductive de la logique : Préliminaire - Logique propositionnelle déductive - Logique fonctionnelle déductive - Bibliographie sommaire et index tres leger defaut d'édition sur la page de garde (amas de colle), couverture à peine jaunie, papier un peu jauni, intérieur globalement propre, mais une note à l'encre rouge au bas d'une page en fin d'ouvrage et une ligne soulignée, le texte restant tres lisible - format de poche‎

書籍販売業者の参照番号 : Cyb-5701

‎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." - 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 prix du supplément de port en fonction du poids et du nombre de livres- 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 ISBN : 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