Portal independiente de libreros profesionales

‎Lógica‎

Main

Padres del tema

‎Matemáticas‎
Número de resultados : 2,222 (45 Página(s))

Primera página Página anterior 1 ... 28 29 30 [31] 32 33 34 ... 35 36 37 38 39 40 41 42 43 44 ... 45 Página siguiente Ultima página

‎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.‎

‎Simone Malacrida‎

‎Logica matematica‎

‎br.‎

‎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‎

Referencia librero : 14087

‎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‎

Referencia librero : 005865

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de About Books]

€380.74 Comprar

‎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‎

‎Skordev, Dimiter G. (Hrsg)‎

‎Mathematical Logic and its Applications.‎

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

Referencia librero : MATH0274

‎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‎

Referencia librero : __3631415575 ISBN : 3631415575 9783631415573

Biblio.com

Revaluation Books
United Kingdom Reino Unido Reino Unido Royaume-Uni
[Libros de Revaluation Books]

€79.22 Comprar

‎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‎

Referencia librero : Cyb-7335

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Libros de Librairie Internet Philoscience]

€20.00 Comprar

‎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‎

‎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‎

Referencia librero : 009618 ISBN : 0394737571 9780394737577

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de About Books]

€10.11 Comprar

‎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‎

Referencia librero : R240101405 ISBN : 2080355643

Livre Rare Book

Le-livre.fr / Le Village du Livre
Sablons France Francia França France
[Libros de Le-livre.fr / Le Village du Livre]

€29.80 Comprar

‎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‎

Referencia librero : R240079963 ISBN : 210002003

Livre Rare Book

Le-livre.fr / Le Village du Livre
Sablons France Francia França France
[Libros de Le-livre.fr / Le Village du Livre]

€39.80 Comprar

‎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
[Libros de Libreria Anticuaria Jerez]

€20.16 Comprar

‎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‎

Referencia librero : 014875

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de About Books]

€126.91 Comprar

‎Soave Francesco‎

‎ISTITUZIONI DI LOGICA(1819)‎

‎In 8', pp. 381, F. Soave, dell'Istituto nazionale e della societitaliana , P. professore nell'Universitdi Pavia- Nuova edizione picorrettta ed accresciuta.Piatti mancanti, parte del dorso mancante, tagli , prime ed ultime carte molto usurate, legatura buona, modesto es.Luogo di pubblicazione NapoliEditore Stamperia della Biblioteca AnaliticaAnno pubblicazione 1819Materia/Argomento Logica‎

‎Soave Francesco‎

‎Istituzioni di logica.‎

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

‎SOAVE Francesco.‎

‎Istituzioni di Logica.‎

‎(Logica) SOAVE Francesco. Istituzioni di Logica. Pisa, Nistri, 1814. In-16°, due parti legate insieme in p. pergamena coeva con tit. e fregi in oro al d.; pp. 260; 184. Ottimo esemplare.‎

‎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‎

Referencia librero : 009069

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de About Books]

€33.80 Comprar

‎SOLIMINI Maria‎

‎LOGICA come APORETICO del FONDAMENTO. Estratto originale dal vol. LXXXI degli atti dell'Accademia ddi Scienze Morali e Politiche, Napoli.‎

‎In-8° (cm. 23,9x16,9), pp. 30. Brossura editoriale a graffa, brunitura me piccola gora marfìginale al piatto, ma interno ottino. "Memoria presentata dal socio Cleto CARBONARA". Logica come teoria del conoscere. logica e linguistica. Cita soprattitto, HUSSERL, MERLAEU-PONTY, R. BARTHES. L'Autrice fu professoressa straordinaria di Antropologia culturale nella Facoltà di Scienze politiche dell’Università di Bari.‎

‎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.‎

‎Sorbi L‎

‎Aristotele la logica comparativa volume II la distribuzione del bene negli enti‎

‎volume secondo leggerissimi quasi impercettibili segni del tempo‎

‎Sournia Jean-Charles‎

‎Logique et morale du diagnostic - Essai de méthodologie - Collection les essais CI.‎

‎Gallimard. 1962. In-12. Broché. Etat d'usage, Couv. remarquable, Coiffe en pied abîmée, Papier jauni. 183 pages.. . . . Classification Dewey : 160-Logique‎

‎Collection les essais CI. Classification Dewey : 160-Logique‎

Referencia librero : R100067557

Livre Rare Book

Le-livre.fr / Le Village du Livre
Sablons France Francia França France
[Libros de Le-livre.fr / Le Village du Livre]

€14.90 Comprar

‎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‎

Referencia librero : GRP91159553 ISBN : 0444867066 9780444867063

Biblio.com

Better World Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de Better World Books]

€5.47 Comprar

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

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

‎Elsevier Science Ltd 1983-08. Hardcover. Good. Elsevier Science Ltd hardcover‎

Referencia librero : SONG0444867066 ISBN : 0444867066 9780444867063

Biblio.com

Ergodebooks
United States Estados Unidos Estados Unidos États-Unis
[Libros de Ergodebooks]

€14.21 Comprar

‎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‎

Referencia librero : 1086296753 ISBN : 1086296753 9781086296754

Biblio.com

Books Express
United States Estados Unidos Estados Unidos États-Unis
[Libros de Books Express]

€72.10 Comprar

‎Space Books by Witty Logic‎

‎NASA Composition Book College Ruled: Officially Licensed Meatball Logo Space Astronaut Astronomy Notebook Journal‎

‎2019-07-13. 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‎

Referencia librero : 1080267999 ISBN : 1080267999 9781080267996

Biblio.com

Books Express
United States Estados Unidos Estados Unidos États-Unis
[Libros de Books Express]

€72.10 Comprar

‎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)‎

‎Spirito, Giuliano‎

‎Matematica senza numeri‎

‎Esistono ampi territori della matematica che prescindono dai numeri. Territori di confine in cui la matematica si incontra con altre discipline.‎

‎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.‎

‎INTERNATIONAL LOGIC REVIEW. RASSEGNA INTERNAZIONALE DI LOGICA. Nº 12.‎

MareMagnum

Libreria Anticuaria Jerez
Spain España Espanha Espagne
[Libros de Libreria Anticuaria Jerez]

€6.72 Comprar

‎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. Used - Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs access codes etc. SSI Logic unknown‎

Referencia librero : 00011652614 ISBN : 0982576846 9780982576847

Biblio.com

Good Deals On Used Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de Good Deals On Used Books]

€9.41 Comprar

‎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‎

Referencia librero : 3196138762 ISBN : 0982576846 9780982576847

Biblio.com

Discover Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de Discover Books]

€7.45 Comprar

‎SSI Logic‎

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

‎2010-05-06. New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May be re-issue. Buy with confidence excellent customer service! unknown‎

Referencia librero : 0982576846n ISBN : 0982576846 9780982576847

Biblio.com

Books Express
United States Estados Unidos Estados Unidos États-Unis
[Libros de Books Express]

€165.44 Comprar

‎STATERA Gianni‎

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

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

MareMagnum

Libreria Xodo
Torino, IT
[Libros de Libreria Xodo]

€14.00 Comprar

‎STCHERBATSKY Th.‎

‎Buddhist Logic. 2 vols.‎

‎Mouton & Cie.1958.2 vols.in-8 toilés rouge.Vol.I et II.560 et 468 p.TBE.malgré dos un peu passés.‎

Referencia librero : 47802

Livre Rare Book

Librairie Ancienne Laurencier
Bordeaux France Francia França France
[Libros de Librairie Ancienne Laurencier]

€120.00 Comprar

‎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‎

‎Steffen Bernhard ; Levi Giorgio‎

‎Verification Model Checking and Abstract Interpretation: 5th International Conference VMCAI 2004 Venice Italy January 11-13 2004 Proceedings‎

‎New York City: Springer Verlag 2004. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2937.xi 324 p. : ill. ; 24 cm . Hard Cover. Very Good/No Jacket. 8vo - over 7�" - 9�" tall. Springer Verlag Hardcover‎

Referencia librero : 010661 ISBN : 3540208038 9783540208037

Biblio.com

Doss-Haus Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de Doss-Haus Books]

€55.00 Comprar

‎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‎

Referencia librero : 006413 ISBN : 3534037405 9783534037407

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de About Books]

€148.07 Comprar

‎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‎

Referencia librero : 005923

Biblio.com

About Books
United States Estados Unidos Estados Unidos États-Unis
[Libros de About Books]

€105.76 Comprar

‎Stewart (Ian) and Tall (David)‎

‎The Foundations of Mathematics‎

‎Oxford University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1985 Book condition, Etat : Bon paperback, editor's printed wrappers In-8 1 vol. - 274 pages‎

‎reprinted with corrections, 1st was 1977 Contents, Chapitres : Preface, Contents, Symbols, xi, Text, 263 pages - 1. The intuitive background : Mathematical thinking - Number systems - 2. The beginnings of formalization : Sets - Relations - Functions - Mathematical logic - Mathematical proof - 3. The development of axiomatic systems : Natural numbers and proof by induction - The real numbers as a complete ordered field - Complex numbers and beyond - Cardinal numbers - 4. Stregthening the foundations : Axioms for set theory - References and index Spine lightly yellowing, else near fine copy, no markings‎

Referencia librero : Cyb-7256

Livre Rare Book

Librairie Internet Philoscience
Malicorne-sur-Sarthe France Francia França France
[Libros de Librairie Internet Philoscience]

€10.00 Comprar

‎Stock Market Logic Norman G. Fosback Fosback‎

‎Stock Market Logic Norman G‎

‎Very Good. unknown‎

Referencia librero : 800228 ISBN : 8170944406 9788170944409

Biblio.com

Textbook Rewind
United States Estados Unidos Estados Unidos États-Unis
[Libros de Textbook Rewind]

€193.57 Comprar

‎Stolyar Abram Aronovich‎

‎Introduction to elementary mathematical logic.‎

‎pp. 209, in 8°, rileg. in t.t. con sopracoperta.‎

‎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‎

‎Introduzione alla teoria logica‎

‎Strawson Introduzione alla teoria logica. Torino, Einaudi 1961 , Ottime condizioni. Copertina morbida. STO14‎

‎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 PETER FREDERICK.‎

‎Introduzione alla teoria logica.‎

‎In 16°, brossura editoriale, pp. XXII, 344, coll. "Reprints Einaudi 25", prima ed. nella collana, nota di possesso al frontesp., per il resto ottimo esemplare. (spedizione standard SEMPRE tracciata con raccomandata-piego di libri, eventuale FATTURA da richiedere all'ordine)‎

‎Strawson, P. F.‎

‎Introduzione alla teoria logica‎

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

‎Strawson, Peter F.‎

‎Introduzione alla teoria logica‎

‎Mm 160x210 Prima edizione. Collana "Biblioteca di Cultura Filosofica" - Brossura cucita di pp. XIX-344, in ottime condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.‎

MareMagnum

Salvalibro Snc
Foligno, IT
[Libros de Salvalibro Snc]

€15.00 Comprar

‎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)‎

Número de resultados : 2,222 (45 Página(s))

Primera página Página anterior 1 ... 28 29 30 [31] 32 33 34 ... 35 36 37 38 39 40 41 42 43 44 ... 45 Página siguiente Ultima página