‎Logique‎

‎Sarte Jean Paul; Translated from the French by Gerard Hopkins‎

‎Troubled Sleep The Roads to Freedom III; UK title: Iron in the Soul‎

‎New York: Alfred A. Knopf 1951. Fine condition in Near Fine Dust Jacket. No tears chips or creases. Pages are fresh and crisp probably never read. Not a book club edition. No remainder mark. No owner's name or bookplate. Square tight and unmarked. "First American Edition" is so stated on the copyright page. Published in the UK as IRON IN THE SOUL. Translation of LA MORT DANS L'AME LES CHEMINS DE LA LIBERTE III Paris: Librairie Gallimard 1949. Belkind 23. Contat/Rybalka 49/179t2. Keywords: Existentialism. First American Edition. Hardcover. Original green cloth/Jacket's printed price is$3.50. Illus. by Chappell Warren jacket design. 8vo. vi 421pp. Alfred A. Knopf Hardcover‎

书商的参考编号 : 001460

‎SAURI‎

‎Cours complet de philosophie. Tome premier : Elemens de logique à. l'usage des gens du monde, formant la première partie d'un cours complet de philosophie. Tome deuxième : Elemens de métaphysique, ou, préservatif contre le matérialisme, l'athéisme et le déisme. Ouvrage dans lequel on a taché de présenter de la maniere la plus claire, tout ce qu'on fait touchant la spiritualité, l'immortalité, la liberté de l'âme, l'influence de l'âme sur le corps, & du corps sur l'ame, etc. On a démontré l'existence de la loi naturelle & la divinité de la Religion Chrétienne; enfin on a répondu de la maniere la plus solide, aux objections des plus fameux deistes. (2 volumes sur les 4 parus)‎

‎1794 A Paris, Chez Froullé - M.DCC.XCIV (1794) - Deux volumes in-duodecimo, reliure plein veau blond, dos lisse, filets, titre et fleurons en doré, étiquette de titre rouge, étiquette de tomaison vert sapin - Deux premiers volumes sur les quatre parus - 216 pages + 360 pages‎

‎Bon état - Menus frottements et légères éraflures sur les plats bon‎

书商的参考编号 : 122612

‎Schérer René‎

‎"La phénoménologie des ""recherches logiques"" de Husserl - Collection épiméthée essais philosophiques."‎

‎Presses universitaires de France. 1967. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Intérieur acceptable. 370 pages - couverture jaunie.. . . . Classification Dewey : 160-Logique‎

‎Collection épiméthée essais philosophiques. Classification Dewey : 160-Logique‎

书商的参考编号 : R100051086

‎Schmidt (H. Arnold), Schutte (K.) and Thiele (H.-J.), eds. - P.H.G. Aczel - W.W. Boone - W. Haken and V. Poenaru - W.K. Burton - H.B. Curry - J. Diller - W. Felscher - R. Harrop - L. Hodes and E. Speckler - H. Lauchli - W. Obserschelp - D. Prawitz and P.-E. Malmnas - D. Siefkes G. Takeuti and M. Yasugi - Alfred Tarski - A.S. Troelstra‎

‎Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover, 1966 (Logique mathématique) , Studies in Logic and the Foundations of Mathematics (Saturated intuitionistic theories - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - On recursively unsolvable problems in topology and their classification - Constructive thermodynamics - A deduction theorem for inferential predicate - Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - Equational maps - Some forms of models of proportional calculi - Lenghts of formulas and elimination of quantifiers I - A decision procedure for the weak second order theory of linear order - Strukturzahlen in endlichen Relationssystemen - A survey of some connections between classical intuitionistic and minimal logic - Zur Semantik der intuitionischen Aussagenlogik - Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - Reflection principles of subsystems of analysis -Equational logic and equational theories of algebras - The use of Brouwer's principle in intuitionistic topology)‎

‎North-Holland Publishing Company , Studies in Logic and the Foundations of Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon hardcover, editor's yellow printed binding, no dust-jacket grand In-8 1 vol. - 309 pages‎

‎1st edition, 1968 Contents, Chapitres : Contents, Preface, xi, Text, 298 pages - P.H.G. Aczel : Saturated intuitionistic theories - W.W. Boone : Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - W.W. Boone, W. Haken and V. Poenaru : On recursively unsolvable problems in topology and their classification - W.K. Burton : Constructive thermodynamics - H.B. Curry : A deduction theorem for inferential predicate - J. Diller : Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - W. Felscher : Equational maps - R. Harrop : Some forms of models of proportional calculi - L. Hodes and E. Speckler : Lenghts of formulas and elimination of quantifiers I - H. Lauchli : A decision procedure for the weak second order theory of linear order - W. Obserschelp : Strukturzahlen in endlichen Relationssystemen - D. Prawitz and P.-E. Malmnas : A survey of some connections between classical intuitionistic and minimal logic - K. Schütte : Zur Semantik der intuitionischen Aussagenlogik - D. Siefkes : Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - G. Takeuti and M. Yasugi : Reflection principles of subsystems of analysis - A. Tarski : Equational logic and equational theories of algebras - A.S. Troelstra : The use of Brouwer's principle in intuitionistic topology the editor's binding is fine but without dust-jacket, inside is good, adhesives tracks on the end-paper (first and last pages), the former owner had underlined very few lines at red ink with rules, on about 20 lines, the text remains clean, it's still a good copy in the first edition, 1968, no other markings‎

书商的参考编号 : Cyb-6273

‎SCHOLZ Heinrich‎

‎Esquisse d'une histoire de la logique‎

‎Aubier, Analyse et raisons, 1968, 157 pp., broché, légères traces d'usage, pli de lecture sur le dos, état correct.‎

书商的参考编号 : 63713

‎Schmid (Marie-Françoise) sur Henri Poincaré‎

‎Une philosophie de savant - Henri Poincaré et la logique mathématique‎

‎François Maspéro , Algorithme Malicorne sur Sarthe, 72, Pays de la Loire, France 1978 Book condition, Etat : Très Bon broché, sous couverture imprimée à rabats éditeur verte, illustrée d'une figure d'un rouage de machine In-8 1 vol. - 175 pages‎

‎1ere édition, 1er tirage, 1978 "Contents, Chapitres : Introduction - 1. Les mathématiques : Mathématiques et expérience - Mathématique et logique - Mathématique et langage - 2. La géométrie - 3. La mécanique et la physique : Mécanique et géométrie - Mécanique et physique - La physique - 4. La philosophie - 5. Le fait et l'exemple : La stratégie - L'intégration - 6. Critique de la logique mathématique : Les ""vraies mathématiques"" - Poincaré face à la crise des fondements des mathématiques, 1905-1912 - Conclusion et bibliographie - Selon Wikipedia : ""Pendant les six dernières années de sa vie (à partir de 1905), Poincaré participe activement aux débats sur les fondements qui traversaient à l'époque la communauté mathématique. Il n'a jamais essayé d'y contribuer sur le plan technique, mais certaines de ses idées ont eu une influence indéniable. L'un de ses contradicteurs, Bertrand Russell, écrira en 1914 : « Il n'est pas possible d'être toujours juste en philosophie ; mais les opinions de Poincaré, justes ou fausses, sont toujours l'expression d'une pensée puissante et originale, servie par des connaissances scientifiques tout à fait exceptionnelles ». Entre autres, à cause de son refus d'accepter l'infini actuel, cest-à-dire la possibilité de considérer l'infini comme une entité achevée et non simplement comme un processus qui peut se prolonger arbitrairement longtemps, Poincaré est considéré par beaucoup d'intuitionnistes comme un précurseur. Poincaré n'a cependant jamais remis en cause le tiers exclu, et rien n'indique qu'il aurait pu adhérer à une refondation aussi radicale des mathématiques que celle que proposera Luitzen Egbertus Jan Brouwer. La position de Poincaré a évolué. Dans une période précédente, il s'est intéressé aux travaux de Georg Cantor, dont les travaux sur la construction des réels et la théorie des ensembles s'appuient de façon essentielle sur un infini actuel, au point de superviser la traduction en français d'une partie des articles de ce dernier (en 1871, 1883), et d'utiliser ses résultats dans son mémoire sur les groupes kleinéens (1884). Il s'intéresse également aux travaux de David Hilbert sur l'axiomatisation : il fait, en 1902, une recension soignée et très louangeuse des Fondements de la géométrie (1899). En 1905 et 1906, Poincaré réagit, de façon assez polémique, à une série d'articles de Louis Couturat sur les « principes des mathématiques » dans la Revue de métaphysique et de morale, articles qui rendaient compte des Principles of Mathematics de Bertrand Russell (1903). Russell finira par intervenir lui-même dans le débat""." papier à peine jauni, sinon bel exemplaire, frais et propre‎

书商的参考编号 : Cyb-7264

‎Scheutz, Georg‎

‎Scheutz. La Macchina alle Differenze. Un Secolo di Calcolo Automatico.‎

‎Mm 185x240 Testo a cura e con introduzione di Mario G. Losano. Volume rilegato in tela con titolo impresso al piatto, sopracoperta figurata a colori con leggere tracce d'uso, 192 pagine con 24 tavole in nero non comprese nel testo. Libro in buone-ottime condizioni, spedizione in 24 ore dalla conferma dell'ordine.‎

‎SCHIRN Matthias.‎

‎IDENTITAT UND SYNONYMIE. Logisch-semantische Untersuchungen unter Berücksichtigung der sprachlichen Verständigungspraxis.‎

‎SCHONFINKEL M. MOSES + HILBERT DAVID. FOUNDING COMBINATORIAL LOGIC.‎

‎�ber die Bausteine der mathematischen Logik. Hilbert: Die Grundlagen der Physik.‎

‎Julius Springer Berlin 1924. 8vo. Bound with the original front wrapper in contemp. full cloth with gilt lettering to spine. Top of spine worn. In "Mathematische Annalen 92 Band. 2 316 pp. Entire volume bound together with volume 91 offered. Sch�nfinkel's paper: pp. 305-316. Hilbert's paper: pp. 1-32 � Both papers first printing. <br>Sch�nfinkel's paper is the founding work of combinatory logic later called the lambda-calculus by Church. It is a fundamental systems of logic based on the concept of ageneralized function whose argument is also a function. It has a relatively small finite number of atoms and elementary rules. Despite the fact that the system contains no formal variables it can be used for doing anything that can be done with variables in more usual systems. Its details were developed by Curry.<br><br>First printing of Hilbert's important contribution to the unification of gravitational theory and electrodynamics. Hilbert stated that the present paper essentially was a reprint with insignificant alterations. This is however not entirely true as several Hilbert biographers have pointed out that this version contain "major conceptual adjustments and a recognition of its deductive structure" Renn The Genesis of General Relativity p.930. <br><br>".it was Hilbert's aim to give not just a theory of gravitation but an axiomatic theory of the world. This lends an exalted quality to his paper from the title 'Die Grundlagen der Physik' The Foundations of Physics to the concluding paragraph in which he expressed his conviction that his fundamental equations would eventually solve the riddles of atomic structure" Pais: Subtle is the Lord pp. 257-258. <br>In Hilbert's 1915-paper he falsly believed that electromagnetism was essentially a gravitational phenomenon. "These and other errors are expurgated in an article Hilbert wrote in 1924 the paper offered. It is again entitled 'Die Grundlagen der Physik' and contains a synopsis of his 1915 paper and a sequel to it written a year later. Hilbert's collected works each volume of which contains a preface by Hilbert himself does not include these two early papers but only the one of 1924" Pais Subtle is the Lord� p. 258 hardcover‎

书商的参考编号 : 47433

‎SCHURMANN Franz‎

‎LA LOGICA DEL POTERE. Le origini, le correnti e le contraddizioni della politica mondiale. Traduzione di Carla De Leonardis. Introduzione di Alberto Martinelli.‎

‎In-8 (cm. 21), brossura (macchioline), pp. XIX, (1), 663, (5). Prima edizione italiana. In buono stato di conservazione (good copy).‎

‎Schwenkel Frieder from the library of Alonzo Church‎

‎Semantische Theorie der Programmsprachen Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften‎

‎Stuttgart: Karl Mayer 1966. Very Good condition. 14.5 cm x 21 cm. A solid copy -- square and tight. Bound in the original paper wrappers. NO owner's name or bookplate. Pages are clean and unmarked. Ph.D. thesis in German on semantic theory of the programming languages. Full title: "Semantische Theorie der Programmsprachen Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften der Mathematisch-naturwissenschaftlichen Fakult�t der Eberhard-Karls-Universit�t zu T�bingen." Schwenkel's faculty advisors for this dissertation were Karl Zeller and Hellmuth Kneser. Schwenkel went on to become a professor at the University of Hamburg where among other things he was involved in programming/design of chess computers. When Schwenkel published his REKURSIVE WORTFUNKTIONEN UBER UNENDLICHEN ALPHABETEN it was Alonzo Church who reviewed it in his JOURNAL OF SYMBOLIC LOGIC Volume 40 Issue 4 1975 621-622. 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 1. Auflage. Softcover. Very Good condition. viii 113pp. Great Packaging Fast Shipping. Karl Mayer Paperback‎

书商的参考编号 : 009127

‎Sconosciuto‎

‎LOGICA elementare, cioè primi principi dell'ARTE del RAGIONARE.‎

‎In - 8° (cm. 21,2x12,7), pp. [2], 166, [2]. Modesta legatura in carta decorata di ricupero coeva (gore). Esemplare genuino, nella sua solida cucitura originale, mancanze alla carta di copertura del dorso. Fresco e pulito l'interno in forte carta nelle sue barbe. Logica naturale ed artifiziale. Sensi idea immaginaz., attenzione riflessione discernimento astrazione idee (avventizie fattizie innate; di sostanza qualità specie genere, differenza). Gradi metafisici. Termini. Giudizio. vari tipi di proposizione. Definizione. Divisione. Sofisma. Verità. Errore. Pregiudizio. Fanatismo. Metodo. Principio. Uso degli assiomi. Argomentazione dialettica ed oratoria. Rarissima ed. settecentesca vercellese, per ora censita solo all'Acc. d. Scienze di Torino.‎

‎Sebestik (Jan) sur Bernard Bolzano‎

‎Logique et mathématique chez Bernard Bolzano , dans la collection L'Histoire des Sciences, Textes et Etudes‎

‎Librairie Philosophique J. Vrin , L'Histoire des Sciences, Textes et Etudes Malicorne sur Sarthe, 72, Pays de la Loire, France 1992 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche, illustrée d'une figure grand In-8 1 vol. - 522 pages‎

‎1ere édition, 1992 Contents, Chapitres : Chronologie, avant-propos, introduction - 1. A la recherche des fondements : Le rationalisme en géométrie - Aux sources de la topologie - La notion de continuité - L'arithmétisation de l'analyse - 2. Logique et théorie de la science : Les objets logiques - Logique des représentations - Logique de la variation - Architecture des théories - Théorie de la science proprement dite - 3. Le système mathématique : Objet et division de la mathématique - La doctrine des ensembles - Les grandeurs et les nombres - La construction des nombres réels - Théorie des fonctions de variables réelles - 4. Les chemins de l'infini - Conclusion - Bibliographie détaillée - Lexique - Index détaillés et table - Bernard Bolzano (5 octobre 1781 18 décembre 1848), de son nom complet Bernhard Placidus Johann Nepomuk Bolzano, est un mathématicien, logicien, philosophe et théologien né et mort à Prague. Fils dune germanophone et dun émigré dItalie en Bohême, alors dans lEmpire dAutriche, Bolzano a rédigé toutes ses uvres en allemand. L'influence de ses ouvrages philosophiques est importante, tout comme ses découvertes en mathématiques. Il a donné son nom à deux théorèmes. - Bolzano est souvent considéré comme un des fondateurs de la logique moderne. Dans sa Théorie de la science de 1837, il essaie de fournir des fondements logiques à toutes les sciences, construites à partir d'abstractions, d'objets abstraits, d'attributs, de constructions, de démonstrations, de liens La plupart de ces tentatives retracent ses travaux précédents concernant la relation objective entre les conséquences logiques (les choses telles qu'elles se produisent) et notre perception purement subjective de ces conséquences (notre façon d'aborder les évènements). Il se rapproche ici de la philosophie des mathématiques, comme dans ses Beiträge de 1810. Pour Bolzano, nous n'avons aucune certitude quant aux vérités, ou supposées comme telles, de la nature ou des mathématiques, et c'est justement le rôle des sciences, pures comme appliquées, que de trouver une justification des vérités (ou des lois) fondamentales, qui se trouvent le plus souvent en contradiction avec nos intuitions. (source : Wikipedia) couverture à peine jaunie sans gravité, sinon bel exemplaire, intérieur frais et propre de cette étude magistrale sur Bolzano, un des ouvrages de référence en langue française‎

书商的参考编号 : Cyb-7287

‎Sellars Wilfrid from the library of Alonzo Church‎

‎Mental Events‎

‎Dordrecht Holland / Boston U.S.A.: D. Reidel Publishing 1981. Near Fine condition. 15 cm x by 23 cm. A very nice copy but for a little age-toning to the front wrapper. NO underlining. NO highlighting. NO margin notes. Metaphysics of Epistemology. Metaphilosophy. This is an offprint of MENTAL EVENTS by the influential American philosopher Wilfrid Stalker Sellars 1912-1989. It originally appeared in PHILOSOPHICAL STUDIES 39 1981 pp. 325-345. This offprint i.e. a reproduction of an article that was originally contained in a larger publication appears to have been produced by the original publisher D. Reidel and has a printed price of $2.10. 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. offprint. Softcover stapled wraps. Near Fine condition. pp. 325-345. Great Packaging Fast Shipping. D. Reidel Publishing Paperback‎

书商的参考编号 : 009076

‎SERRUS (Charles).-‎

‎Essai sur la signification de la logique.‎

‎P., PUF, 1939, in 12 broché, 157 pages.‎

‎...................... Photos sur demande ..........................‎

书商的参考编号 : 44331

‎SERRUS CHARLES‎

‎TRAITE DE LOGIQUE‎

‎AUBUER. 1945. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 381 pages.. . . . Classification Dewey : 160-Logique‎

‎Classification Dewey : 160-Logique‎

书商的参考编号 : R320052772

‎SERGANT M.C.‎

‎Taal en Logica (Openbare les uitgesproken bij de aanvaarding van het ambt van buitengewoon lector in d elogica aan de R.U.Groningen op 1 maart 1971)‎

‎Baarn, Het Wereldvenster 1971, 19pp., 2°dr., gesigneerd‎

‎Shanker (S.G.) sur Kurt Godel - John W. Dawson - Stephen C. Kleene - Solomon Feferman - Michael D. Resnik - Michael Detlefsen on Wittgenstein‎

‎Godel's Theorem in Focus , (Kurt Gödel in sharper focus - On formally undecidable propositions of Principia Mathematica and related systems I (1931) - The work of Kurt Godel - The reception of Godel's incompleteness theorems - Kurt Godel : Conviction and caution - On the significance of consistency proofs - On interpreting Godel's second theorem -Wittgenstein's remarks on the significance of Godel's theorem)‎

‎Routledge, London and New York , Philosophers in Focus Series Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Très Bon paperback, editor's full yellow and grey printed wrappers In-8 1 vol. - 270 pages‎

‎reprinted edition, 1989 Contents, Chapitres : Contents, Preface, Acknowledgments, ix, Text, 261 pages - John W. Dawson : Kurt Gödel in sharper focus - Kurt Godel : On formally undecidable propositions of Principia Mathematica and related systems I (1931) - Stephen C. Kleene : The work of Kurt Godel - John J. Dawson : The reception of Godel's incompleteness theorems - Solomon Feferman : Kurt Godel : Conviction and caution - Michael D. Resnik : On the significance of consistency proofs - Michael Detlefsen : On interpreting Godel's second theorem - S.G. Shanker : Wittgenstein's remarks on the significance of Godel's theorem - Index near fine copy, no markings‎

书商的参考编号 : Cyb-7301

‎Shoenfield, Joseph R‎

‎Mathematical logic‎

‎Reading, Mass. [u.a.]: Addison-Wesley. 1967. 344 Seiten. 24cm. Zustand: Gut min. gebräunt, Titelblatt wurde hier entfernt (Innen); Besitzerstempel; Einband (Außen) hat leichte Gebrauchsspuren; Archivex. mit Klebestreifenrest (Außen); Schutzumschlag fehlt, oder es gibt keinen; Hardcover oder Leinen‎

书商的参考编号 : 582598

‎SIHÂBEDDIN ES-SÜHREVERDÎ [EL-MAKTÛL], (?-1191).‎

‎Hikmetü'l-isrâk. Translated by Eyüp Bekiryazici, Üsmetullah Sami.‎

‎New English Original bdg. HC. Roy. 8vo. (24 x 17 cm). In Turkish and facsimile in Arabic. 634 p. A very heavy volume. Hikmetü'l-isrâk. Translated by Eyüp Bekiryazici, Üsmetullah Sami. Facsimile and Turkish translation of manuscript Topkapi Palace Museum Library, III. Ahmed Collection, No. 3267. ISLAM Tasavvuf Sufism Anatolian Islam Isrâkiyye - Ishrakiyya school Islamic philosophy Criticism Critics Logic Aristoteles Messâi Mead Epistemology Cosmology Psychology Ontology Fi'l-Envâri'l-ilâhiyye ve nûrü'l-envâr ve mebâdi'ü'l-vücûd ve tertîbühâ Heterodoxy.‎

‎Simone Malacrida‎

‎Logica matematica‎

‎br.‎

‎Simpson Thomas Moro signed; Inscribed to Professor Alonzo Church‎

‎Sem�ntica filos�fica: problemas y discusiones signed‎

‎Buenos Aires: Siglo XXI 1973. Inscribed by the author: "To Professor Alonzo Church with admiration and gratitude signed Thomas M. Simpson Bs. As. 10/5/73." Good condition. 13.5 cm x 20 cm. Spine has several reading creases. Errata slip laid-in. Bound in the original white pictorial wrappers. This is one of several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction. Several of the books including this one contain a presentation inscription to 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 edicion en espanol. Softcover. Good condition. xvii 476pp. Great Packaging Fast Shipping. Siglo XXI Paperback‎

书商的参考编号 : 005865

‎Skordev, Dimiter G. (Hrsg)‎

‎Mathematical Logic and its Applications.‎

‎New York, London, Plenum Press (1987). 8°. XIV, 371 S. OPappbd. Ecken leicht bestoßen.‎

书商的参考编号 : MATH0274

‎Smith (Peter) on Kurt Godel‎

‎An Introduction to Gödel's Theorems , Cambridge Introductions to Philosophy‎

‎Cambridge University Press , Cambridge Introductions to Philosophy Malicorne sur Sarthe, 72, Pays de la Loire, France 2008 Book condition, Etat : Très bon paperback, editor's red and yellow wrappers, illustrated by a multicolor illustration grand In-8 1 vol. - 375 pages‎

‎many black and white text-figures 2nd reprinted edition, 2008 Contents, Chapitres : Contents, Preface, xiv, Text, Further reading, Bibliography, Index, 361 pages - What Gödel's theorems say Decidability and enumerability Axiomatized formal theories Capturing numerical properties - The truths of arithmetic - Sufficiently strong arithmetics Interlude : Taking stock - Two formalized arithmetics What Q can prove - First-order Peano arithmetic - Primitive recursive functions Capturing p.r. functions - Q is p.r. adequate Interlude : A very little about principia - The arithmetization of syntax PA is incomplete - Gödel's first theorem Interlude : about the first theorem Strengthening the first theorem The diagonalization Lemma Using the diagonalization lemma Second-order arithmetics - Interlude : Incompleteness and Isaacsons conjecture - Gödel's second theorem for PA The derivability conditions Deriving the derivability conditions Reflections - Interlude : About the second theorem µ-recursive functions Undecidability and incompleteness Turing machines Turing machines and recursiveness Halting problem The church-turing thesis Proving the thesis ? - Looking back near fine copy, no markings‎

书商的参考编号 : Cyb-7335

‎SMULLYAN RAYMOND‎

‎LES ENIGMES DE SHEHERAZADE OU COMMENT UNE MALICIEUSE PRINCESSE VIENT A BOUT DE 200 QUESTIONS DE LOGIQUE ET DE MATHEMATIQUE.‎

‎FLAMMARION. 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 218 pages.. . . . Classification Dewey : 160-Logique‎

‎Traduction de Willem van den Brul . Classification Dewey : 160-Logique‎

书商的参考编号 : R240101405 ???????? : 2080355643