‎500 tests psychotechniques de logique et d'intelligence: 500 tests de logique à base de chiffres, formes, lettres et mots à résoudre.‎

‎Paris, Eyrolles, 2016. in-8, 292 pages, broché.‎

‎Bel exemplaire. [SO-4] ‎

‎Signification et Verite. Trad. de langlais.‎

‎Paris, Flammarion (« Champs/Essais»), 1990. in-16, broché, couverture.‎

‎Bel exemplaire. [PM-LP6][PM-LP7] ‎

‎Améliorez vos performances intellectuel‎

‎Editions france loisirs. Non daté. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 160 pages augmentées de nombreuses illustrations en couleurs dans le texte. Couverture rempliée.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Modal logic with descriptions. Nijhoff international philosophy series volume 10.‎

‎Martinus Nijhoff, 1981, in-8vo, 135 p., publ.hardback, spine discolored‎

‎Årstiderne. Nr. 1-13:1 (i 10). (Brev fra Kjørkelvik).‎

‎(Oslo), 1951-55. Alle 10 hefter ubeskårede med orig. bogtrykte illustrerede omslag. Rene, friske hefter.‎

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

9 Images

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

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

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

‎The Domain of Logic according to Saint Thomas Aquinas‎

‎The Hague, Martinus Nijhoff 1966 xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898‎

‎Mathematical logic‎

‎Reading, Addison-Wesley, 1967. 715 g In-8, reliure éditeur, vii-[1]-344 pp.. Frottements. . (Catégories : Mathématiques, Logique, )‎

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

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

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

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

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

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

‎Essai sur la signification de la logique.‎

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

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

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

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

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

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

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

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

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

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