‎Histoire de la création des êtres organisés d'après les lois naturelles. Traduit de l'allemand par le docteur Ch. Letournau et revu sur la 7è édition allemande.‎

‎Paris, Scheicher pères, [1879] ; in-8°, demi-chagrin vert foncé, dos à nerf, pièces d'auteur et de titre rouge et doré (reliure de l'époque) ; X, 601 p., frontispice et XV planches hors-texte, dont 3 dépliantes, Bibliographie p.563-568, index.‎

‎Bon exemplaire de la bonne édition de cet ouvrage fondamental et qui reste encore utile pour l'étude de l'évolution de l'Homme. ‎

‎English Logic and Semantics, from the End of the Twelfth Century to the Time of Ockham and Burleigh. Acts of the 4th European Symposium on Mediaeval Logic and Semantics, Leiden-Nijmegen, 23-27 April 1979,‎

‎Turnhout, Brepols, 1979 Paperback, VII+417 p., 165 x 240 mm. ISBN 9789070419028.‎

‎Languages: Latin, English.‎

‎Logik und Noëtik (Ein Leitfaden für akademische Vorlesungen sowie zum Selbstunterrichte)‎

‎Freiburg im Breisgau, Herder 1879 xi + 206pp., cart.cover with leather spine, 4th ed., in the series "Elemente der Philosophie" vol.I, bit used, G‎

‎Ibn Taymiyya Against the Greek Logicians‎

‎Oxford university press 1993 368 pages 14x2 6x22cm. 1993. Cartonné jaquette. 368 pages.‎

‎Très bon état intérieur propre bonne tenue jaquette un peu défraîchie‎

‎Logic for Mathematicians - Revised Edition‎

‎Cambridge, University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1988 Book condition, Etat : Très Bon paperback, editor's printed wrappers grand In-8 1 vol. - 236 pages‎

‎ 1st was 1978 Contents, Chapitres : Contents, Preface, viii, Text, 228 pages - Informal statement calculus - Formal statement calculus - Informal predicate calculus - Formal predicate calculus - Mathematical systems - The Gödel incompleteness theorem - Computability, unsolvability, undecidability Near fine copy, no markings‎

‎Dialektische Logik und politisches Argument. Untersuchungen zu den methodischen Grundlagen der Hegelschen Staatsphilosophie. Monographien zur Philosophischen Forschung. Band 204.‎

‎Athenäum, Hain, Scriptor, Hanstein, Forum Academicum, 1981, gr. in-8vo, 306 S., Original-Broschüre.‎

‎Principes de logique exposés d'après une méthode nouvelle. Ouvrage suivi d'un traité sur les principes de l'esthétique‎

‎Paris/ Louvain, F. Savy/ Peeters 1872 iii + 156pp., br.orig. (dos renforcé) protégée par papier cristal, 19cm., quelques rousseurs, bon état, F80358‎

‎A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability and Complexity‎

‎Oxford University Press , Oxford Texts in Logic Malicorne sur Sarthe, 72, Pays de la Loire, France 2004 Book condition, Etat : Très Bon paperback, editor's printed and illustrated wrappers grand In-8 1 vol. - 451 pages‎

‎ 1st paperback Contents, Chapitres : Acknowledgments, Contents, Preliminaries, xx, Text, 431 pages - Propositional logic - Structures and first-order logic - Proof theory - Properties of first-order logic - First-order theories - Models of countable theories - Computability and complexity - The incompleteness theorems - Beyond first-order logic - Finite model theory - Bibliography and index Near fine copy, no markings‎

‎Précis de l'encyclopédie des sciences philosophiques. La logique / La philosophie de la nature / la philosophie de l'esprit‎

‎Paris, Librairie philosophique J. Vrin, 1978, 15,5 x 24, 320 pages cousues sous couverture souple imprimée. Traduit de l'allemand par J. gibelin.‎

‎Etat d'usage. Cachets de bibliothèque. Intérieur bien propre.‎

‎Ecrits logiques‎

‎Paris, Presses Universitaires de France, "Bibliothèque de philosophie contemporaine", 1968, 13,5 x 22, 244 pages cousues sous couverture imprimée. En frontispice, portrait photographique de Jacques Herbrand. Préface de Jean van Heijenoort. Notice bibliographique par Claude Chevalley et Albert Lautmann. Ainsi qu'une note sur la pensée de Herbrand par Claude Chevalley. ‎

‎Petit accroc à la quatrième de couverture.‎

‎Les principales théories de la logique contemporaine‎

‎Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., bel état‎

‎Les principales théories de la logique contemporaine‎

‎Paris, Alcan 1909 303pp., dans la série "Bibliothèque de philosophie contemporaine, br.orig., dédicacé par les deux auteurs, pour la plupart non coupé, couv.peu usée, bon état‎

‎Grundzüge der theoretischen Logik.‎

‎Berlin, Springer, 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away, no loss of letters. VIII,120 pp.‎

‎First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever.‎

‎Grundzüge der theoretischen Logik.‎

‎Berlin, Springer, 1928. 8vo. Uncut in orig. printed wrappers. VIII,120. With the name of Bent Schultzer (Former Danish professor in philosophy) on first leaf. Internally clean.‎

‎First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever.‎

‎Models for modalities. Selected Essays‎

‎Dordrecht et Boston, Reidel, 1969. 480 g In-8, reliure éditeur sous jaquette, vii-[1]-220 pp., [1] f.. Petites déchirures à la jacquette. . (Catégories : Mathématiques, Logique, Philosophie, )‎

‎Question de logique et de phénoménologie. Édité par Élisabeth Rigal. Ouvrage publié avec le concours du Centre national du Livre.‎

‎Paris, Librairie Philosophique J. Vrin, 1998, in-8vo, 338 p., cartonnage original.‎

‎Investigating Wittgenstein‎

‎Blackwell Publishers 1989 300 pages 14 986x2 032x22 86cm. 1989. Broché. 300 pages.‎

‎Très Bon Etat de conservation intérieur propre bonne tenue‎

‎Leçons de logique et de morale à l'usage des classes de philosophie et de mathématiques élémentaires.‎

‎ P., Delagrave, 1924, in 8° relié pleine percaline verte de l'éditeur, 268 pages. ‎

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

‎Frege's Notion of Bedeutung : Tension and Transformation‎

‎Leiden, 2003 235pp. + 2pp. theses, 27cm., text in English, Doctoral Dissertation (Universiteit Leiden, the Netherlands), softcover, stamp at verso of title page, text is clean and bright, good condition, F113242‎

‎Introduzione alla logica modale‎

‎In-8 broché, H. Saggiatore, coll. "Theoria 5", 1983, XXVI + 436 pp. Un peu frotté et écorné, dos ridé. Usure d’usage, bon exemplaire de lecture. Poids 500 g. Envoi lettre verte. Frais d'envoi 7,70 euros sur la France, 26,50 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY ou "LIVRES ET BROCHURES", n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.‎

‎ARTICLES SUR LA LOGIQUE‎

‎PUF. 1995. In-8. Broché. Etat d'usage, Coins frottés, Dos plié, Intérieur frais. 586 pages - couverture orange contre-pliée - annotations à l'encre sur la page de titre.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Recherches logiques - Tome 1 + Tome 2 2eme partie + Tome 3 - 3 volumes - Tome 1 : Prolégomènes à la logique pure - Tome 2 2eme partie : recherches opur la phénoménologie et la théorie de la connaissance, recherches III,IV et V - Tome 3 : éléments d'une él‎

‎Presses Universitaires de France. 1972-1974. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. XX+304 pages + 392 pages + 322 pages.. . . . Classification Dewey : 160-Logique‎

‎Tome 1 + Tome 2 2eme partie + Tome 3 - 3 volumes - Tome 1 : Prolégomènes à la logique pure - Tome 2 2eme partie : recherches opur la phénoménologie et la théorie de la connaissance, recherches III,IV et V - Tome 3 : éléments d'une élucidation phénoménologique de la connaisance, recherche VI - Traduit de l'allemand par Hubert Elie, Arion L.Kelkel et René Schérer - Collection épiméthée, essais philosophiques - Tome 1, 2e édition. Classification Dewey : 160-Logique‎

‎Individualism in Modern Thought: From Adam Smith to Hayek (Routledge Studies in Social and Political Thought 14 Band 13)‎

‎Routledge 1998 244 pages 15 75x2 29x23 62cm. 1998. Cartonné. 244 pages.‎

4 Images

‎Très bon état‎

‎Logique - International Logic Review - Rassegna Internazionale di logica diretta Franco Spinasi A Euclidian solution of Endometric Figures II ( E. Wette ) - An apparent contradiction in Gödel's Proof par T. Chapman - The concept of time and dynamical implications par U. D'ambrioso - Toward a logic of Doubt par A/ M Hart - Wittgenstein's thory of quantification par T. F Baxley - A definition of enthymematic consequence par T. Kapitan - A new reconstruction of the master Argument of Diodurus Cronus par P. Ohrstrom - The argument from ignorance par G. Schelder - Searle and the logic of Moore's Paradox par R. M Harnish - Proof and relativity - A reply to dudman par C. J Mac Knight - ‎

‎ N° 21 de 1980 - In 8 broché - 93 pages‎

‎Très bel état ‎

‎Leibniz's Philosophy of Logic and Language‎

‎Gerald Duckworth & Co Ltd 1972 176 pages 13 208x1 524x21 336cm. 1972. Broché. 176 pages.‎

4 Images

‎Bon état couverture un peu défraîchie intérieur propre bonne tenue‎