‎Logique‎

ペアレントテーマ

‎Mathématiques‎

検索結果数 : 2,204 (45 ページ)

1 ... 27 28 29 [30] 31 32 33 ... 34 35 36 37 38 39 40 41 42 43 44 ... 45

‎SCARLATA G P‎ ‎LINEAMENTI DI METALOGICA‎ ‎INTONSO leggerissimi danni alla copertina‎	MareMagnum Libreria Giorni Firenze, IT [この書籍販売業者の本を検索： Libreria Giorni] € 17.90 購入
‎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	Livre Rare Book Le-livre.fr / Le Village du Livre Sablons France Francia França France [この書籍販売業者の本を検索： Le-livre.fr / Le Village du Livre] € 59.25 購入
‎SCHUMACHER Christian‎ ‎A Comprehensive Logic for Epistemic Propositional Attitudes‎ ‎Berlin, 1994 216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789‎ 書籍販売業者の参照番号 : F108789	Livre Rare Book Antiquariaat Pieter Judo (De Lezenaar) Hasselt Belgium Bélgica Bélgica Belgique [この書籍販売業者の本を検索： Antiquariaat Pieter Judo (De Lezenaar)] € 40.00 購入
‎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	Livre Rare Book Librairie Internet Philoscience Malicorne-sur-Sarthe France Francia França France [この書籍販売業者の本を検索： Librairie Internet Philoscience] € 20.00 購入
‎Scholz Heinrich‎ ‎Esquisse d'une histoire de la logique.‎ ‎Aubier Éditions Montaigne. Collection "Analyses et raisons" , 1968 - In-8° , broché , ensemble en très bon état , 157 pages .‎ ‎Très Bon Etat Port inclus dans le prix général. . Paiement immédiat par Paypal . Chèques et virement acceptés. Nous accompagnons toutes les étapes de vos achats.‎ 書籍販売業者の参照番号 : 6586	Livre Rare Book Artlink Saint-Haon-le-Vieux France Francia França France [この書籍販売業者の本を検索： Artlink] € 18.00 購入
‎SCHLAUDT Oliver / SAKHRI Mohsen‎ ‎Louis Courturat - Traité de logique algorithmique.‎ ‎Birkhäuser Science autour de 1900 Around 2010 Birkhäuser, Publication des Archives Henri-Poincaré, 2010 (copyright), 317 p., cartonnage éditeur, environ 24x16cm. Dos un peu aplati vers le premier plat, coins légèrement frottés, des pages annotées au crayon à papier, 2 pages frottées avec atteinte au texte (mais lisible). Bon état pour le reste.‎ ‎Introduction et appareil critique en anglais. Transcription du manuscrit en français. Merci de nous contacter à l'avance si vous souhaitez consulter une référence au sein de notre librairie.‎ 書籍販売業者の参照番号 : 114836	Livre Rare Book Librairie Diogène Lyon France Francia França France [この書籍販売業者の本を検索： Librairie Diogène] € 75.00 購入
‎SCHOENFIELD (Joseph R.)‎ ‎Mathematical logic‎ ‎Reading, Addison-Wesley, 1967. 715 g In-8, reliure éditeur, vii-[1]-344 pp.. Frottements. . (Catégories : Mathématiques, Logique, )‎ 書籍販売業者の参照番号 : 10342	Livre Rare Book Christophe Hüe - Livres Anciens Paris France Francia França France [この書籍販売業者の本を検索： Christophe Hüe - Livres Anciens] € 20.00 購入
‎SCHMIDT Robert W. S.J.‎ ‎The Domain of Logic according to Saint Thomas Aquinas‎ ‎The Hague, Martinus Nijhoff 1966 xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898‎ 書籍販売業者の参照番号 : F104898	Livre Rare Book Antiquariaat Pieter Judo (De Lezenaar) Hasselt Belgium Bélgica Bélgica Belgique [この書籍販売業者の本を検索： Antiquariaat Pieter Judo (De Lezenaar)] € 65.00 購入
‎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	Livre Rare Book Librairie Internet Philoscience Malicorne-sur-Sarthe France Francia França France [この書籍販売業者の本を検索： Librairie Internet Philoscience] € 10.00 購入
‎Schaff, Adam‎ ‎Introduzione alla Semantica‎ ‎Mm 120x185 Collana "Nuova Biblioteca di Cultura" - Volume in copertina rigida originale, 361 pagine. Ottima copia, spedizione in 24 ore dalla conferma dell'ordine.‎	MareMagnum Salvalibro Snc Foligno, IT [この書籍販売業者の本を検索： Salvalibro Snc] € 8.00 購入
‎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.‎	MareMagnum Salvalibro Snc Foligno, IT [この書籍販売業者の本を検索： Salvalibro Snc] € 35.00 購入
‎SCHILPP Paul Arthur (a c. di) su CARNAP‎ ‎La FILOSOFIA di Rudolf CARNAP. Opera completa dei 2 volumi.‎ ‎2 volumi in-8° (cm. Edizione italiana a cura di Maria Grazia De Cristofaro Sandrini. Traduzioni di Fabrizio Bercelli, Paolo Gambazzi, Alberto Meotti, Fabrizio Mondadori, Michele Pacifico, Pier Aldo Rovatti. 2 voll. in-8° (cm. 21,5), complessive pp. XVI. 1161. Cartoncino leggero editoriale, sovraccoperte. La prima parte dell'opera è occupata da un'ampia autobiografia di Rudolf Carnap, che fornisce materiali inediti su alcuni dei momenti principali di sviluppo dell'empirismo logico, oltre a dare un quadro chiaro e preciso, filosoficamente motivato, del suo sviluppo intellettuale. In fine, bibliografia completa degli scritti di Rudolf Carnap, aggiornata per l'edizione italiana fino al 1973, con un elenco delle recensioni a tali scritti. Indice analitico. Volumi N. 37, 1 e 2 della Biblioteca di filosofia e metodo scientifico. Opera di enorme portata. COME NUOVI.‎	MareMagnum Libreria Le Colonne Torino, IT [この書籍販売業者の本を検索： Libreria Le Colonne] € 80.00 購入
‎SCHIRN Matthias.‎ ‎IDENTITAT UND SYNONYMIE. Logisch-semantische Untersuchungen unter Berücksichtigung der sprachlichen Verständigungspraxis.‎	MareMagnum Libreria Anticuaria Jerez Spain España Espanha Espagne [この書籍販売業者の本を検索： Libreria Anticuaria Jerez] € 5.38 購入
‎SCHMIDT Robert W. S.J.‎ ‎The Domain of Logic according to Saint Thomas Aquinas‎ ‎xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898‎	MareMagnum Antiquariaat Pieter Judo (De Lezenaar) Hasselt, BE [この書籍販売業者の本を検索： Antiquariaat Pieter Judo (De Lezenaar)] € 65.00 購入
‎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	Biblio.com Lynge & Son Denmark Dinamarca Dinamarca Danemark [この書籍販売業者の本を検索： Lynge & Son] € 470.05 購入
‎SCHUMACHER Christian‎ ‎A Comprehensive Logic for Epistemic Propositional Attitudes‎ ‎216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789‎	MareMagnum Antiquariaat Pieter Judo (De Lezenaar) Hasselt, BE [この書籍販売業者の本を検索： Antiquariaat Pieter Judo (De Lezenaar)] € 40.00 購入
‎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).‎	MareMagnum Bottega delle Occasioni Milano, IT [この書籍販売業者の本を検索： Bottega delle Occasioni] € 13.41 購入
‎Schwartz, Laurent‎ ‎Un Mathématicien Aux Prises Avec Le Siècle‎ ‎Mm 155x240 Brossura editoriale di 528 pagine. Esemplare in ottime condizioni. Testo in francese - french text. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.‎	MareMagnum Salvalibro Snc Foligno, IT [この書籍販売業者の本を検索： Salvalibro Snc] € 25.00 購入
‎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	Biblio.com About Books United States Estados Unidos Estados Unidos États-Unis [この書籍販売業者の本を検索： About Books] € 126.91 購入
‎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.‎	MareMagnum Libreria Le Colonne Torino, IT [この書籍販売業者の本を検索： Libreria Le Colonne] € 75.00 購入
‎Scotland International Workshop on Field Programmable Logic and Applications 9th : 1999 : Glasgow; Herbert Grunbacher; Reiner W.‎ ‎Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping Lecture Notes in Computer Science‎ ‎Springer-Verlag 1993-08. Paperback. Good. Springer-Verlag paperback‎ 書籍販売業者の参照番号 : SONG0387570918 ISBN : 0387570918 9780387570914	Biblio.com Ergodebooks United States Estados Unidos Estados Unidos États-Unis [この書籍販売業者の本を検索： Ergodebooks] € 76.23 購入
‎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	Livre Rare Book Librairie Internet Philoscience Malicorne-sur-Sarthe France Francia França France [この書籍販売業者の本を検索： Librairie Internet Philoscience] € 25.00 購入
‎Segond (J.)‎ ‎Hasard et contingence , dans la série Logique et Méthodologie, exposés publiés sous la direction de Thomas Greenwood, n° 4, A.S.I. n° 628‎ ‎Hermann et Cie , Actualités Scientifiques et Industrielles Malicorne sur Sarthe, 72, Pays de la Loire, France 1938 Book condition, Etat : Bon broché, sous couverture imprimée éditeur marron grand In-8 1 vol. - 67 pages‎ ‎1ere édition Contents, Chapitres : La notion de hasard - Les deux formes du nécessaire - Déterminisme et jeux de hasard - La logique du contingent infime petite tache sur le bas du plat supérieur de la couverture, dos à peine frotté sur 1 cm, sinon tres bon état, intérieur tres frais, papier à peine jauni‎ 書籍販売業者の参照番号 : Cyb-4576	Livre Rare Book Librairie Internet Philoscience Malicorne-sur-Sarthe France Francia França France [この書籍販売業者の本を検索： Librairie Internet Philoscience] € 8.00 購入
‎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	Biblio.com About Books United States Estados Unidos Estados Unidos États-Unis [この書籍販売業者の本を検索： About Books] € 55.00 購入
‎SERRUS Charles‎ ‎Essai sur la signification de la logique‎ ‎Paris, F.Alcan 1939 157pp., br., dans la série "Nouvelle encyclopédie philosophique", qqs.estampes, bon état‎ 書籍販売業者の参照番号 : F34890	Livre Rare Book Antiquariaat Pieter Judo (De Lezenaar) Hasselt Belgium Bélgica Bélgica Belgique [この書籍販売業者の本を検索： Antiquariaat Pieter Judo (De Lezenaar)] € 20.00 購入
‎SERRUS (Charles).-‎ ‎Essai sur la signification de la logique.‎ ‎P., PUF, 1939, in 12 broché, 157 pages.‎ ‎...................... Photos sur demande ..........................‎ 書籍販売業者の参照番号 : 44331	Livre Rare Book Librairie ancienne le Bouquiniste Cumer-Fantin Saint-Etienne France Francia França France [この書籍販売業者の本を検索： Librairie ancienne le Bouquiniste Cumer-Fantin] € 15.00 購入
‎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., 2e dr., gesigneerd, F19360‎ 書籍販売業者の参照番号 : F19360	Livre Rare Book Antiquariaat Pieter Judo (De Lezenaar) Hasselt Belgium Bélgica Bélgica Belgique [この書籍販売業者の本を検索： Antiquariaat Pieter Judo (De Lezenaar)] € 13.00 購入
‎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	Livre Rare Book Le-livre.fr / Le Village du Livre Sablons France Francia França France [この書籍販売業者の本を検索： Le-livre.fr / Le Village du Livre] € 49.50 購入
‎Serrus Claude‎ ‎Traité de logique.‎ ‎Aubier éditions Montaigne. 1945. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Quelques rousseurs. 381 pages - papier jauni.. . . . Classification Dewey : 160-Logique‎ ‎Classification Dewey : 160-Logique‎ 書籍販売業者の参照番号 : R160218171	Livre Rare Book Le-livre.fr / Le Village du Livre Sablons France Francia França France [この書籍販売業者の本を検索： Le-livre.fr / Le Village du Livre] € 49.50 購入
‎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‎	MareMagnum Antiquariaat Pieter Judo (De Lezenaar) Hasselt, BE [この書籍販売業者の本を検索： Antiquariaat Pieter Judo (De Lezenaar)] € 9.00 購入
‎SERRUS Charles‎ ‎Essai sur la signification de la logique‎ ‎157pp., br., dans la série "Nouvelle encyclopédie philosophique", qqs.estampes, bon état‎	MareMagnum Antiquariaat Pieter Judo (De Lezenaar) Hasselt, BE [この書籍販売業者の本を検索： Antiquariaat Pieter Judo (De Lezenaar)] € 20.00 購入
‎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	Livre Rare Book Librairie Internet Philoscience Malicorne-sur-Sarthe France Francia França France [この書籍販売業者の本を検索： Librairie Internet Philoscience] € 12.00 購入
‎Shoenfield Joseph Robert‎ ‎Mathematical logic by Joseph R. Shoenfield‎ ‎Reading Mass.: Addison-Wesley Pub. Co. 1967. Ex-Library. Hardcover. Good/None. Addison-Wesley series in logic Orange cloth boards with gilt titling on spine. Binding is sound though leaning slightly back. Some underlining of text only up to pg. 35. Uncut page edges at index. Owner's name on ffep along with faded gray price stamp. Page edges are lightly toned and with a couple brown spots on long edge also spots on very edge of front pastedown. 8vo. BOOK INFO: 'I have collected the principal results in what seem to me to be the central topics of mathematical logic: proof theory model theory recursion theory axiomatic number theory and set theory. This volume is essentially an expansion of a set of notes for a course in mathematical logic offered several times at Duke University since 1958. It is somewhat more than I usually cover ina one-year course. A knowledge of the simplest properties of natural numbers real numbers and sets and a slight acquantance with modern algebra should be sufficient. Some of the problems require acquaintance with more advanced topics.' -from the preface by the author Addison-Wesley Pub. Co. hardcover‎ 書籍販売業者の参照番号 : 15032	Biblio.com Quadrant Book Mart United States Estados Unidos Estados Unidos États-Unis [この書籍販売業者の本を検索： Quadrant Book Mart] € 18.19 購入
‎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	Antiquariat.de Gebrauchtbücherlogistik DE - Gummersbach [この書籍販売業者の本を検索： Gebrauchtbücherlogistik] € 15.84 購入
‎SHOESMITH D. J. & T. J. SMILEY. FIRST PRESENTATION OF MULTIPLE CONCLUSION LOGIC‎ ‎Multiple-conclusion Logic.‎ ‎Cambridge Cambridge Univ. Press 1978. 8vo. Orig. full cloth in orig. dust jacket w. minor taning to top. In fine condition internally mint. XIII396 pp. � First edition of the first presentation of multiple-conclusion logic.<br>The authors D. J. Shoesmith and T. J. Smiley "in surveying the multiple consequences of taking multiple consequence seriously have taken a huge first step in founding a new branch of the subject i.e. logic. Their book provides a solid conceptual foundation and a wealth of results whose breadth and dept has hardly any equal" Phil. Qual. Vol. 30 Nr. 121 p. 379. hardcover‎ 書籍販売業者の参照番号 : 32769	Biblio.com Lynge & Son Denmark Dinamarca Dinamarca Danemark [この書籍販売業者の本を検索： Lynge & Son] € 335.75 購入
‎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.‎	MareMagnum Bookshop Khalkedon Books, IOBA, ESA Istanbul, TR [この書籍販売業者の本を検索： Bookshop Khalkedon Books, IOBA, ESA] € 51.00 購入
‎SIMONDO Piero (a c. di)‎ ‎L'ALBA della LOGICA. IL PENSIERO LOGICO GRECO: testi e interpretazioni.‎ ‎In-8°, pp. 278. Cartoncino editoriale. 56 pagine introduttive su cos'è la LOGICA. Poi due parti: 1) opposizione e Eraclito. identità e Parmenide, dialettica e Zenone di Elea, contraddizione (Protagora, Gorgia), vero e falso e semnatica (Platone). 2) Logiche formali: dei termini (Aristotele); logica proposizionele nel Megarici e negli Atorici. Appendice: Elementi e formule del calcolo logico: pèropsizionale, delle classi, dei predicati.‎	MareMagnum Libreria Le Colonne Torino, IT [この書籍販売業者の本を検索： Libreria Le Colonne] € 28.00 購入
‎Simone Malacrida‎ ‎Logica matematica‎ ‎br.‎	MareMagnum Maremagnum.com S.r.l. Milano, IT [この書籍販売業者の本を検索： Maremagnum.com S.r.l.] € 5.69 購入
‎Simposio de Logica y de la Ciencia 5th : 1974 : Valencia‎ ‎Aspectos de la filosof�a de W. V. Quine : actas del V Simposio de L�gica y Filosof�a de la Ciencia Cullera 23 y 29 de junio de 1974‎ ‎Valencia: Departamento de L�gica y Filosof�a de la Ciencia Universidad de Valencia 1976. Paperback. Ex-lib with minimal markings; else tight and clean. Appears to have never been read. Spine sunned. Octavo in red printed glossy wraps; xiv 168 p. : ill. ; 22 cm ; bibliographical references. In Spanish. Uncommon. Teorema ; numero monografico 1975. Philosophy -- Congresses. Quine W. V. Willard Van Orman -- Congresses. <br/><br/> Departamento de L�gica y Filosof�a de la Ciencia, Universidad de Valencia paperback‎ 書籍販売業者の参照番号 : 14087	Biblio.com Calvello Books (formerly Owl & Company Bookshop) United States Estados Unidos Estados Unidos États-Unis [この書籍販売業者の本を検索： Calvello Books (formerly Owl & Company Bookshop)] € 16.45 購入
‎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	Biblio.com About Books United States Estados Unidos Estados Unidos États-Unis [この書籍販売業者の本を検索： About Books] € 380.74 購入
‎Simpson, R. L.‎ ‎Essentials of Symbolic Logic‎ ‎193 pages. "Addressing major areas of symbolic logic without producing a volume of forbidding lenght and complexity, the author has produced an innovative textbook that neither the teacher nor the student can afford to miss." - R.L. Simpson, Camosun College. Usual markings to contents. Above average wear and soiling. Good working copy. Book‎	MareMagnum RareNonFiction.com Ladysmith, CA [この書籍販売業者の本を検索： RareNonFiction.com] € 49.95 購入
‎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	Antiquariat.de Antiquariat Löcker AT - Wien [この書籍販売業者の本を検索： Antiquariat Löcker] € 41.00 購入
‎Skyrms Distinguished Professor of Logic and Philosophy of Science and Economics Brian‎ ‎Einfuehrung in Die Induktive Logik‎ ‎Peter Lang Gmbh Internationaler Verlag Der Wissenschaften 1989. Paperback. New. 1st edition. 345 pages. German language. 8.31x5.87x0.83 inches. Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften paperback‎ 書籍販売業者の参照番号 : __3631415575 ISBN : 3631415575 9783631415573	Biblio.com Revaluation Books United Kingdom Reino Unido Reino Unido Royaume-Uni [この書籍販売業者の本を検索： Revaluation Books] € 79.22 購入
‎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	Livre Rare Book Librairie Internet Philoscience Malicorne-sur-Sarthe France Francia França France [この書籍販売業者の本を検索： Librairie Internet Philoscience] € 20.00 購入
‎Smith, Denis‎ ‎Bleeding Hearts... Bleeding Country: Canada and the Quebec Crisis‎ ‎177 pages. "Takes us as far as rationality can in a consideration of October, 1970... picks apart, with considerable flair and logic, the reasoning behind the activities of Ottawa and Montreal... the sort of analysis that justifies the existence of a nations' intelligentsia as a critical force." - Dennis Duffy. Covers faded. Rubber stamps inside front cover and upon half-title page. Contents clean, tight and square. Good working copy. Book‎	MareMagnum RareNonFiction.com Ladysmith, CA [この書籍販売業者の本を検索： RareNonFiction.com] € 59.95 購入
‎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 ISBN : 2080355643	Livre Rare Book Le-livre.fr / Le Village du Livre Sablons France Francia França France [この書籍販売業者の本を検索： Le-livre.fr / Le Village du Livre] € 29.80 購入
‎SMULLYAN RAYMOND‎ ‎QUEL EST LE TITRE DE CE LIVRE ?.‎ ‎DUNOD. 1993. In-8. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Intérieur frais. 249 pages - quelques illustrations en monochrome hors texte.. . . . Classification Dewey : 160-Logique‎ ‎Traduit de l'américain par Jérôme Marthon - Illustrations de Pierre Berloquin. Classification Dewey : 160-Logique‎ 書籍販売業者の参照番号 : R240079963 ISBN : 210002003	Livre Rare Book Le-livre.fr / Le Village du Livre Sablons France Francia França France [この書籍販売業者の本を検索： Le-livre.fr / Le Village du Livre] € 39.80 購入
‎Smullyan Raymond‎ ‎Chess Mysteries of Sherlock Holmes : 50 Tantalizing Problems of Chess Detection‎ ‎New York: Alfred A. Knopf 1982. Near Fine condition. 5" wide by 8" tall. Previous owner's blindstamp. Otherwise bright clean tight square and unmarked. No creases. Appears unread. Still shiny. Not price clipped $5.95. Not a remainder. No store stamp or bookplate. Illustrated with chess diagrams. Each of 50 chess problems is set within its own Holmes-Watson dialogue. The object is to use Sherlockian logic not to discover the next move or a mating attack but to calculate previous moves or positions using "retrograde analysis." Includes solutions at the end. The author is a Professor of Mathematical Logic and Philosophy at CUNY who also wrote The Chess Mysteries of the Arabian Knights: 50 New Problems of Chess Detection. Third printing. Trade Paperback. Near Fine condition. xiii 171pp. Alfred A. Knopf Paperback‎ 書籍販売業者の参照番号 : 009618 ISBN : 0394737571 9780394737577	Biblio.com About Books United States Estados Unidos Estados Unidos États-Unis [この書籍販売業者の本を検索： About Books] € 10.11 購入
‎SMULLYAN Raymond.‎ ‎THE LADY OF THE TIGER? AND OTHER LOGIC PUZZLES INCLUDING A MATHEMATICAL NOVEL THAT FEATURES GODEL'S GREAT DISCOVERY.‎	MareMagnum Libreria Anticuaria Jerez Spain España Espanha Espagne [この書籍販売業者の本を検索： Libreria Anticuaria Jerez] € 20.16 購入
‎Snyder Donald Paul inscribed/signed to David Rubinstein to whom the book is dedicated‎ ‎Modal Logic and Its Applications Dedication Copy‎ ‎New York: Van Nostrand Reinhold Company 1971. This is a DEDICATION COPY -- INSCRIBED to David Rubinstein to whom the book is dedicated and SIGNED by the AUTHOR on the dedication page. The printed dedication in the book is to David Rubinstein as well as two more of the author's mentors; i.e. Carl A. Eisdorfer and John H. Wilms. Below the printed dedication the author has written: "To David Rubinstein -- More evidence to disconfirm the myth -- Gratefully Paul." Very Good condition. Square and tight. Sharp corners. NO underlining. NO highlighting. NO margin notes. First printing with complete number row 87654321 on the copyright page. Bound in the original black cloth lettered in gold on the spine and front cover. From the preface: "This book is addressed to philosophers and students of philosophy who want to use formal logic as a tool of their trade. It presupposes only the familiarity with truth-functions and quantifiers that is gained in a one-semester introduction to symbolic logic. It is designed to present in as clear and straightforward a way as possible a set of techniques for manipulating formal systems of modal logic and the related interpretative devices and for developing further systems of modal logic to meet specific contextual needs.". INSCRIBED & SIGNED by the AUTHOR. First Printing of the First Edition. Hardcover. Very Good condition/No jacket as issued. 8vo. xiv 335pp. Van Nostrand Reinhold Company Hardcover‎ 書籍販売業者の参照番号 : 014875	Biblio.com About Books United States Estados Unidos Estados Unidos États-Unis [この書籍販売業者の本を検索： About Books] € 126.91 購入