‎Logique‎

‎BERKELEY, E.C.‎

‎Cerveaux geants, machines qui pensent.‎

‎in-8°, XVI-263 pp, 80 figures, broche, couverture illustree. Dos légèrement usé sinon bel exemplaire. [33/XN1]‎

‎Bernardi Claudio‎

‎Dialoghi sulla logica‎

‎br. Il professor Mens e gli studenti Aequor e Fulmen, prendendo spunto da vicende quotidiane, si cimentano con la logica matematica e linguistica. Attraverso dialoghi vivaci e divertenti, arricchiti da originali ed eloquenti disegni, i personaggi esplicitano i procedimenti logici che li portano alla soluzione dei quesiti. Dall'isola di Smullyan ai connettivi matematici e linguistici, dai campi semantici ai diagrammi di Eulero-Venn e così via, questo volume fornisce approfondimenti agili e batterie di test per esercitarsi sui diversi argomenti di logica proposti nei dialoghi. Se sei uno studente che deve prepararsi per i test di ammissione all'università o per le gare di matematica, se sei un docente che vuole costruire laboratori interdisciplinari a partire dai test di logica (per finire poi, chissà, col realizzare progetti di scrittura creativa o giochi di logica), se sei una persona curiosa che vuole cimentarsi in esercizi di logica, questo testo fa per te!‎

‎Berry, Stephen‎

‎Strategies of the Serengeti : Where Having the Right Strategy is a Matter of Life and Death‎

‎Book in mint condition. Dust jacket not price clipped or marked or torn with minor crease to upper rear edge. Probably unread. 396pp. A study of business strategies, but not just the latest management fashion, instead the strategies of the experts. These strategies have enabled those who use them - the animals of the Serengeti - to survive and thrive for thousands of years.‎

‎Bertrand Russell‎

‎The Problems of Philosophy‎

‎The Title 'The Problems of Philosophy written/authored/edited by Bertrand Russell', published in the year 2017. The ISBN 9789351286141 is assigned to the Paperback version of this title. This book has total of pp. 251 (Pages). The publisher of this title is Kalpaz Publications. This Book is in English. The subject of this book is Humanities / Philosophy / Logic. Size of the book is 13.34 x 21.59 cms Vol:-‎

‎BERZOLARI L. - GIGLI D. - VIVANTI G. (A CURA DI)‎

‎ENCICLOPEDIA DELLE MATEMATICHE ELEMENTARI E COMPLEMENTI CON ESTENSIONE ALLE PRINCIPALI TEORIE ANALITICHE E GEOMETRICHE LORO APPLICAZIONI E NOTIZIE STORICO BIBLIOGRAFICO - 1930 (1944)‎

‎In 8, pp. (XVI) 450, br. Volume I, Parte I Etichetta. Polvere e fioriture ai piatti. Alcuni strappetti (6139/ LOGICA - ARIMETICA - TEORIA DEI NUMERI - PROGRESSIONI - LOGARITMI - CALCOLO MECCANICO)‎

‎BESNARD Philippe.‎

‎AN INTRODUCTION TO DEFAULT LOGIC.‎

‎Beth E. W. Evert Willem from the library of Alonzo Church‎

‎Compte-rendu des travaux effectues par l'universite d'Amsterdam dans le cadre du contrat Euratom Rapport CETIS No. 26‎

‎Centre de Traitement de l'Information Scientifique CETIS EURATOM C. C. R. Ispra 1961. Good condition. 21 cm x 29.5 cm. Staple-bound green paper wrappers mildly faded with a few tiny chips at the edges. Mimeographed typescript. NO owner's name or bookplate. Pages are age-toned lightly browned but clean and unmarked. Rapport CETIS No. 26 aout 1961. Preface by F. van Scheepen. This book contains 17 chapters -- 7 in English 9 in French 1 in German. Among them are: No. 1 M�thodes de d�duction by E. W. Beth; 3 Remarques sur la th�orie des pseudo-valuations by E. W. Beth; 5 On the length of proofs by Amitabha Ghose; 8 Construction s�mantique de la logique inf�rentielle by E. W. Beth; 9 A discussion of Carton's Proposed Mechanical Proof Procedure for Geometry by Th. Bruyn; 10 Observations concerning computation deduction and heuristics by E. W. Beth; 13 Le syst�me S4 et la topologie by E. W. Beth; 17 Recherches sur les I-valuations by Dick H. J. de Jongh. 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 premi�re �dition. Oversize Softcover stapled. Good condition. 178pp. Great Packaging Fast Shipping. Centre de Traitement de l'Information Scientifique [CETIS], EURATOM C. C. R., Ispra Paperback‎

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

‎Beth E. W.; & H. J. Pos; J. H. A. Hollak editors; Bertrand Russell; from the library of Alonzo Church‎

‎Proceedings of the Tenth International Congress of Philosophy Amsterdam August 11-18 1948 / Actes du Xme Congr�s international de Philosophie Volume I Fascicule I‎

‎Amsterdam: North-Holland Publishing Company 1949. Very Good condition. 18 cm wide by 26 cm tall. A tight copy. The spine is square and flat. Pages are clean. NO underlining. NO highlighting. NO margin notes. Volume I Fascicule I only of 2. Contains papers in French English German and Spanish. Among the contributors are: K. K�renyi A. Dempf Antonio Banfi Bertrand Russell POSTULATES OF SCIENTIFIC INFERENCE P. Bernays Charles Werner L. de Raeymaeker Rushton Coulborn K.R. Popper R. Bayer John Dewey H. Fr�re E. Minkowski Sv. Ranulf B. Stokvis �ke Petz�ll A.E. Heath Mirko Nov�k A. Kolman Paul Arthur Schilpp Narcyz Lubnicki Maerten ten Hoor Sidney Hook Fr. Romero Jos. Kr�l John Somerville G. Berger A. de Waelhens et. al. 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. Oversize Softcover heavy. Very Good condition. x 600pp. Great Packaging Fast Shipping. North-Holland Publishing Company Paperback‎

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

‎BEVILLE Gilbert‎

‎La logique appliquée.‎

‎Couverture souple. Broché. 169 pages. 15 x 24 cm.‎

‎Livre. Editions Gauthier-Villars et Editions d'organisation, 1962.‎

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

‎BEYSENS J.Th.‎

‎Logica et criteriologia‎

‎iii + 156pp., text in latin, bound in cart.cover (spine in cloth), "ad usum privatum", very few underlinings, G‎

‎Binion Rudolph‎

‎Frau Lou : Nietzsche's Wayward Disciple‎

‎Princeton New Jersey: Princeton University Press 1974. 6" wide by 9.25" tall. Clean tight and square. A few words underlined on 4 early pages. No spine creases. Covers lightly rubbed. Not price clipped 5.95. No store stamp owner's name or bookplate. No remainder mark. From the rear cover: "This extraordinary portrait is a careful and scholarly exploration of the 76 incredible years of a 'cerebral bewitching and heartless' woman." Biography and psychological study of Lou Andreas-Salome student of Friedrich Nietzsche. Her circle included Rainer Maria Rilke Sigmund Freud Martin Buber Gerhart Hauptmann Werner Sombart Arthur Schnitzler etc. Foreword by Walter Kaufmann. This second printing corrects more than 50 errors found in the original edition. Appendices. Notes. Bibliography. Index. Second printing corrected. Trade Paperback. Very Good condition. xi 587pp. Princeton University Press Paperback‎

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

‎Biser Irwin MA. PhD. Inscribed to Professor Alonzo Church M. A. h. D.‎

‎A General Schema for Natural Systems : Nature Considered as a Function of Types of Selectivity and of Modes of Selection‎

‎Philadelphia: Westbrook Publishing Company 1938. INSCRIBED by the author on the front pastedown endpaper: "To Prof. A. Church / Dec 14 '38 / With the profound respects of the / author / signed Irwin Biser." Very Good condition. A clean square tight copy. Hinges are perfect. Mild bend/crease at the bottom of the front board. Spine a little sunned. Bound in the original maroon cloth lettered in bright gold on the front cover. This is one of several dozen books from Alonzo Church's personal library that we were lucky enough to purchase at auction in New Jersey. Several of the books including this one contain a presentation inscription to him. A few others are signed by him -- please check our inventory. 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. First Edition. Hardcover. Very Good condition/No Jacket. 8vo. 155pp. Great Packaging Fast Shipping. Westbrook Publishing Company Hardcover‎

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

‎BITTREMIEUX J.‎

‎Grondbeginselen der logika of denkleer en der algemeene zedenleer‎

‎302pp., 28cm., onopengesneden, goede staat, F77404‎

‎Blanché (Robert)‎

‎Introduction à la logique contemporaine (2eme édition, 1964)‎

‎Armand Colin , Collection Armand Colin Malicorne sur Sarthe, 72, Pays de la Loire, France 1964 Book condition, Etat : Bon broché, sous couverture imprimée éditeur bleu ciel et blanche In-8 1 vol. - 208 pages‎

‎2eme édition, 1964 Contents, Chapitres : Notions préliminaires - Le calcul classique des propositions - Les calculs non classiques - Analyse des propositions - Prédicats, classes, relations - Robert Blanché (1898-1975) est un philosophe et logicien français. - Ancien élève de l'École normale supérieure (promotion 1919), Robert Blanché a été professeur à lUniversité de Toulouse. C'est un spécialiste de l'épistémologie et de la logique. Il a appartenu au comité de patronage de Nouvelle École. - Il a surtout écrit des livres d'initiation à la logique et à son histoire, abordées d'un point de vue philosophique. Ses premières réflexions concernent également les aspects épistémologiques des notions de « corps », de « mental », de fait physique ou psychique. Critique par rapport à la logique formelle, devenue désormais un calcul mathématique, il défend l'idée d'une logique réflexive, plus proche de la logique opératoire spontanée et y apporte sa contribution. En 1966, il publie un ouvrage : Structures intellectuelles. Il y parle de l'hexagone logique qui, comportant six postes, est une figure plus puissante que le carré logique traditionnel qui en comporte uniquement quatre. Dans cette uvre, Robert Blanché oppose la pensée dite commune à la pensée scientifique. (source : Wikipedia) couverture à peine jaunie avec d'infimes traces de pliures aux coins des plats, mors à peine frottés sans gravité, intérieur sinon propre, papier légèrement jauni, une note à l'encre sur le haut de la page de faux-titre (phrase de René Char), cela reste un bon exemplaire - format de poche‎

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

‎BLANCHE Robert‎

‎Introdution à la logique contemporaine. Collection Armand Colin N° 322, section philosophie.‎

‎Paris, Armand Colin, 1959. 11 x 17, 208 pp., broché, état moyen (couverture défraîchie).‎

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

‎BLANCHE R.‎

‎Introduction à la logique contemporaine‎

‎Colin Armand Colin, 1957. In-12 broché de 210 pages . Bon état.‎

‎Toutes les expéditions sont faites en suivi au-dessus de 25 euros. Expédition quotidienne pour les envois simples, suivis, recommandés ou Colissimo.‎

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

‎BLACK Max‎

‎Problemi di analisi. Saggi filosofici. Traduzione di Antonio Verdino‎

‎In-8°, pp. 299, brossura editoriale con sovraccopertina.‎

‎Blanchet, Leon‎

‎Campanella‎

‎Mm 170x240 Brossura editoriale di pagine 596, rarissimo utilizzo di matita o pastello. Opera in buone condizioni. Not available for export / Non disponible à l'exportation. Spedizione in 24 ore dalla conferma dell'ordine.‎

‎Blumenthal David R.; Foreword by James W. Fowler‎

‎The Banality of Good and Evil : Moral Lessons from the Shoah and Jewish Tradition‎

‎Washington D.C.:: Georgetown University Press 1999. As New condition. Bright shiny clean square tight unmarked copy. Flat spine. No creases. Fresh and crisp obviously never read. 6" wide by 9" tall. Trade paperback. No store stamp owner's name or bookplate. No underlining. No highlighting. No margin notes. First printing with complete number row 10 987654321 on the copyright page. Appendices. Chapter notes. Bibliography. Glossary. Subject Index. Source Index. Publisher's printed wraps. Keywords: Holocaust. WWII. WW2. Judaica. Judaism. Jewish Ethics. . First Printing of the First Edition. Soft Cover. As New condition. viii 326pp. Georgetown University Press Paperback‎

書籍販売業者の参照番号 : 002772 ISBN : 0878407154 9780878407156

‎Bochenski I. M.; from Alonzo Church's library‎

‎Precis de Logique Mathematique: Collection Synthese 2‎

‎Bussum/Pays-Bas The Netherlands: F. G. Kroonder 1948. INSCRIBED directly on the half title page: "A. M. Alonzo Church handwritten in black ink Hommage de l'auteur ink stamped." Good condition. NOT a library discard. Pages are clean and unmarked. This was reviewed by J. C. Cooley in Church's JOURNAL OF SYMBOLIC LOGIC Volume 15 Issue 3 September 1950 pp. 199-200. This volume was among several dozen books from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Please check our inventory for several others that are signed by 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. First Edition. Softcover. Good condition. Illus. by NOT a library discard. 91pp. Great Packaging Fast Shipping. F. G. Kroonder Paperback‎

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

‎Bochenski Joseph‎

‎NOVE LEZIONI DI LOGICA SIMBOLICA‎

‎In 8, bross. ed., pp. 141, con formule di logica n.t.Sigla a matita in prima bianca, ottime condizioni.Luogo di pubblicazione BolognaEditore Edizioni Studio DomenicanoAnno pubblicazione 1995Collana Collana Philosophia 22Materia/Argomento Logica‎

‎Bochenski, Joseph M.‎

‎La Logica formale. Vol. I, Dai Presocratici a Leibniz - Vol. II, La Logica Matematica‎

‎Mm 155x215 Collana "Nuova Biblioteca Scientifica Einaudi" - Due volumi nella loro brossura originale con copertina a stampa, xxviii-xi-755 pagine con numerazione continua. Edizione italiana a cura di Alberto Conte. Segni d'uso e del tempo al dorso del primo volume, un timbro di biblioteca privata dismessa in apertura di entrambi i tomi che sono in buone condizioni nelle loro legature ben salde; spedizione in 24 ore dalla conferma dell'ordine.‎

‎BOLL Marcel‎

‎La logique et sa caricature dans les questions actuelles‎

‎Paris, Rieder 1935 49pp., br.orig., qqs.estampes‎

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

‎BOLL (Marcel).-‎

‎Manuel de Logique Scientifique remplaçant et complétant les Eléments de Logique Scientifique, 1942. Coup d'oeil général et notations. Ensembles, objets et constituants : leurs compositions et agencements. Faits : confirmation et justesse. Interdépendances. Exemples concrets et sophismes. Les modalités. La vraisemblance et les probabilités. l'induction. (192 illustrations ; 10 annexes ; index ; glossaire).‎

‎P., Dunod, 1948, grand in 8° broché, IX-544 pages ; taches et mouillures en pied du volume.‎

‎PHOTOS sur DEMANDE. ...................... Photos sur demande ..........................‎

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

‎Boll Marcel et Reinhart Jacques‎

‎Que sais-je? N° 225 Les étapes dela logique‎

‎Presses Universitaires de France. 1954. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 128 pages illustrées de quelques dessins en noir et blanc. . . . Classification Dewey : 160-Logique‎

‎La première encyclopédie de poche fondée en 1941 par Paul Angoulvent, traduite en 43 langues, diffusée, pour les éditions françaises, à plus de 160 millions d'exemplaires, la collection Que sais-je? est l'une des plus importantes bases de données internationnales, construite pour le grand public par des spécialistes. 3800 titres ont été publiés depuis l'origine par 2500 auteurs. Classification Dewey : 160-Logique‎

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