‎Logique‎

‎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

‎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

‎Soave Francesco‎

‎Istituzioni di logica.‎

‎In 16°, br. muta coeva, 2 Voll., pp. 215; 156. Assai ben conservati‎

‎Sokolowski Robert; from the library of Alonzo Church‎

‎Tijdschrift voor filosofie : Knowing Natural Law in Tijdschrift voor filosofie 43 e jaargang nr. 4: December 1981‎

‎Langemark Belgi�: Druk N.V. Vonksteen 1981. Very Good condition. 17.5 cm wide by 24.5 cm tall. A solid copy -- clean and tight. The spine is square and flat. NO underlining. NO highlighting. NO margin notes. Driemaandelijks Tijdschrift. Phenomenology. Among the articles in this issue is KNOWING NATURAL LAW in English pp. 625-641 by Robert Sokolowski. Uitgegeven door het Filosoficum der Vlaamse Dominikanen en door het Hoger Instutuur voor Wijsbegeerte te Leuven. Bound in the original pale gray wrappers printed in dark blue. 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. Very Good condition. Paged by section about 350 pages. Great Packaging Fast Shipping. Druk N.V. Vonksteen Paperback‎

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

‎Soragni, Ugo‎

‎Giorgione. La croce e la mezzaluna. Il Ritratto di giovane armato e scudiero degli Uffizi tra patto di Blois e impium Foedus‎

‎Mm 170x240 Volume nella sua brossura originale con bandelle, 108 pagine con illustrazioni in nero e a colori. Copia in condizioni di nuovo - brand new in original shrinkwrap.‎

‎Southeast Asian Conference on Logic 1981 Singapore Chong C. T. Wicks M. J‎

‎Southeast Asian Conference on Logic: Studies in Logic and Foundations of Mathematics Studies in Logic and the Foundations of Mathematics‎

‎Elsevier Science Ltd. Used - Good. Former Library book. Shows some signs of wear and may have some markings on the inside. Elsevier Science Ltd unknown‎

書籍販売業者の参照番号 : GRP91159553 ISBN : 0444867066 9780444867063

‎Space Books by Witty Logic‎

‎Artemis: NASA Artemis Program Logo Light We Are Going Moon To Mars 2024 Notebook Journal Diary‎

‎2019-07-30. Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be re-issue. May be ex-library. Shipping & Handling by region. Buy with confidence excellent customer service! unknown‎

書籍販売業者の参照番号 : 1086296753 ISBN : 1086296753 9781086296754

‎SPIRITO GIULIANO.‎

‎Matematica senza numeri.‎

‎In 8°, br. edit. ill. (con lievi tracce d'uso), pp. 108,(4); ottimo es.. (m156) (spedizione standard SEMPRE tracciata con raccomandata-piego di libri, eventuale FATTURA da richiedere all'ordine)‎

‎Spisani Franco‎

‎IMPLICAZIONE, ENDOMETRIA, UNIVERSO DEL DISCORSO‎

‎in 8, bross. ed. con band., pp. 174, con formule matematiche n.t., testo bilinge italiano-inglese.Lievi tracce d'uso alla cop., leggera ammaccatura all'angolo inf. e sup. e allo spigolo del dorso, ottime condizioni.Luogo di pubblicazione BolognaEditore Internetional logic review pressAnno pubblicazione 1977Materia/Argomento Logica‎

‎Spisani, Franco (direttore)‎

‎International logic review. Rassegna internazionale di logica N. 2 Dicembre 1970‎

‎24 cm, ril. editoriale, titolo al piatto e dorso, p. 99 (numerazione p. 118-217). Testo italiano, francese, inglese‎

‎SSI Logic‎

‎CISSP Exam Prep Questions Answers & Explanations: 1000 CISSP Practice Questions with Detailed Solutions‎

‎SSI Logic. Paperback. GOOD. Spine creases wear to binding and pages from reading. May contain limited notes underlining or highlighting that does affect the text. Possible ex library copy will have the markings and stickers associated from the library. Accessories such as CD codes toys may not be included. SSI Logic paperback‎

書籍販売業者の参照番号 : 3196138762 ISBN : 0982576846 9780982576847

‎STATERA Gianni‎

‎Logica, linguaggio e sociologia. Studio su Otto Neurath e il neopositivismo‎

‎In-8°, pp. 197, brossura editoriale.‎

‎STEFANO POGGI‎

‎HUSSERL E LA FENOMENOLOGIA‎

‎DISPONIBILITÀ GARANTITA AL 99%; SPEDIZIONE ENTRO 12 ORE DALL'ORDINE. BUONE/OTTIME CONDIZIONI GENERALI, BRUNITURA E SEGNI DEL TEMPO. Descrizione bibliografica Titolo: Husserl e la fenomenologia Autore: Stefano Poggi Editore: Firenze: Sansoni, 1973 Lunghezza: 106 pagine; 18 cm Collana: Scuola aperta. Scienze umane Soggetti: Filosofia, Fenomenologia, Edmund Husserl, 1859-1938, Ottocento, Novecento, Didattica, Saggi, Fenomenologie, Psicologia, Logica, Germania, Razionalità, Spirito, Tramonto dell'ideologia, Positivismo, Libri vintage, Fuori catalogo, Analisi fenomenologica, Opere, Studi critici, Scienza, Verità, Metodo, Coscienza, Solipsismo, Frege, Linguaggio, Anschauung, Intuizione, Crisi, Scienze, Intenzionalità, Epistemologia, Logik, Erkenntnistheoretische Reduktion, Logische Untersuchungen, Phänomenologie und Theorie der Erkenntnis, Meditazioni cartesiane, Philosophy, Phenomenology, Nineteenth Century, Twentieth Century, Didactics, Essays, Phenomenologies, Psychology, Logic, Germany, Rationality, Spirit, Sunset of Ideology, Positivism, Books Out of Catalog, Phenomenological Analysis, Works, Critical Studies, Science, Truth, Method, Consciousness, Solipsism, Frege, Language, Intuition, Crisis, Sciences, Intentionality, Epistemology, Cartesian Meditations‎

‎Stegmuller Wolfgang Hg.; from the library of Professor Alonzo Church‎

‎Das Universalien-Problem Wege der Forschung Band LXXXIII‎

‎Darmstadt Germany: Wissenschaftliche Buchgesellschaft 1978. Near Fine condition. Clean square and tight. Pages are fresh and crisp. No underlining. No highlighting. No margin notes. Among this collection's 21 essays are 5 by Willard van Orman Quine and 3 by Alonzo Church i.e. Propositionen und Satze 1956; Ontologische Voraussetzungen 1958; and Intensionale Semantik 1951. Bound in the original gray cloth lettered in red and in gold over a red spine panel. 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. Still the book contains 3 of his essays -- translated into German and printed here with his permission as stated in the acknowledgments. So it seems likely that the publisher sent a copy to him as a courtesy; and we believe this is almost certainly that copy. 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 Collected Edition. Hardcover. Near Fine condition/No Jacket. vi 372pp. Great Packaging Fast Shipping. Wissenschaftliche Buchgesellschaft Hardcover‎

書籍販売業者の参照番号 : 006413 ISBN : 3534037405 9783534037407

‎Stenstrom Dr. V. editor; from the library of Alonzo Church‎

‎Proceedings of the International Congress of Mathematicians : 15-22 August 1962‎

‎Djursholm Sweden: Institute Mittag-Leffler 1963. Near Fine condition. Bright clean square and tight. Hinges are perfect. Bound in the original blue cloth with gilt lettering on the front cover and on the spine over a handsome brown panel. Gilt lettering is still bright and shiny. Pages are clean and unmarked. No underlining. No highlighting. No margin notes. Includes LOGIC ARITHMETIC AND AUTOMATA by Alonzo Church along with a large number of other papers most in English but with some in French German or Russian. Bibliographical references. Index. From the preface: "This volume contains the official record of the International Congress of Mathematicians held in Stockholm from 15 to 22 August 1962 and the text of the addresses given by invitation of the Organizing Committee." 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 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. Hardcover. Near Fine condition/No Jacket. 8vo. L 597pp. Great Packaging Fast Shipping. Institute Mittag-Leffler Hardcover‎

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

‎Stock Market Logic Norman G. Fosback Fosback‎

‎Stock Market Logic Norman G‎

‎Very Good. unknown‎

書籍販売業者の参照番号 : 800228 ISBN : 8170944406 9788170944409

‎Storchenau Sigismundi‎

‎SIGISMUNDI STORCHENAU in Academia Vindobonensi LOGIC. ET METAPH. Professoris Pub. Ord. INSTITUTIONES LOGICAE. Editio Altera ab auctore emendata.‎

‎Volume in 8° piccolo, legato in mezza pelle con unghie (mende e mancanze), tagli colorati, bianche, frontespizio, 303 pp. Opera del gesuita carinziano Sigismund von Storchenau (1731-1789), filosofo wolffiano, importante e prolifico autore, l'opera qui presentata fu di enorme successo, tanto da essere adottata come manuale di studio anche dai membri dell'ordine Agostiniano. Di non facile reperibilità ed in buone condizioni, fatto salvo le mende alla legatura.‎

‎STRAWSON P.F.‎

‎Introduzione alla logica. Trad. di Aldo Visalberghi.‎

‎(Bibl. di cultura filosofica). 8°, pp.XVIII-344, br. ed. Rare sottolin. Scheda bibliogr. incollata alla c.b.‎

‎Strawson, P. F.‎

‎Introduzione alla teoria logica‎

‎Bross. edit. in-8, pp. XXII-344-(2), coll. Reprints n. 25. Ottimo.‎

‎STUART MILL JOHN.‎

‎Systeme de logique deductive et inductive. Expose des principes de la preuve et des methodes de recherche scientifique. Deuxieme edition. Traduite sur la sixieme edition anglaise par Louis Peisse.‎

‎2 voll. in 8° entro mezza pelle coeva dorso a quattro nervi con decorazioni e titolo in oro, pp. XXIV, (544); pp. XXII 561, (1); buon esemplare, lievissime fioriture alle sole pagine prossime alla legatura. (XE2) (XE2)‎

‎Symposium on the History of Logic 1993 University of Navarra Maria Cerezo Editor Ignacio Angelelli Editor‎

‎Studies on the History of Logic: Proceedings of the Iii. Symposium on the History of Logic Perspectives in Analytical Philosophy Bd 8‎

‎Walter De Gruyter Inc 1996-10-01. Hardcover. Used:Good. Walter De Gruyter Inc hardcover‎

書籍販売業者の参照番号 : DADAX3110148293 ISBN : 3110148293 9783110148299

‎Symposium on the History of Logic 1993 University of Navarra~Maria Cerezo~Ignacio Angelelli‎

‎Studies on the History of Logic: Proceedings of the Iii. Symposium on the History of Logic Perspectives in Analytical Philosophy Bd 8‎

‎Walter de Gruyter October 1996. Hardcover. LikeNew/LIKE NEW. . Walter de Gruyter hardcover‎

書籍販売業者の参照番号 : 140937 ISBN : 3110148293 9783110148299

‎Tagliasco Vincenzo - Vincenzi Antonio‎

‎DIETRO LE FORMULE - I discorsi della logica e della matematica‎

‎In 8, br. ed., pp. 220 con ill. in n. n.t.Prima ed.Piccole pieghe agli angoli del piatto ant., nastro adesivo di carta con numero a penna al piede del dorso, interno in ottime condizioni.Luogo di pubblicazione TorinoEditore BoringhieriAnno pubblicazione 1998Materia/Argomento Logica, Matematica, ScienzePrima Edizione Sbr&gt‎

‎Tarroni, Fulvio‎

‎Preludio alla logica e alle sue applicazioni‎

‎Tarroni, Fulvio Preludio alla logica e alle sue applicazioni. Imola, La Mandragora 2004 italian, 272 2004. Copertina editoriale in brossura morbida. 272 p. ; 24 cm. ARC5‎

‎Tarski Alfred‎

‎Introduction to logic and to the methodology of deductive sciences.‎

‎pp. 239, in 8°, rileg. in t.t.‎