‎La Philosophie de KARL POPPER et le Positivisme Logique.‎

‎ PUF broché au format in-8, , couverture bleue rempliée souple ,313 pages. Bon état ( propre ).‎

‎Rare et épuisé au 03/2008 Très Bon Etat Franco de port France jusqu'à 29 euros iclus. PAYPAL immédiat. MONDIAL RELAY pour : FRANCE, Portugal, Pologne, Espagne, Allemagne, Autriche, Pays Bas, Luxembourg, Italie, Belgique. Toutes les étapes sont accompagnées. Achat, estimations et listages (Papiers, Archives, monographies, arts et métiers, sciences humaines et bibliophilie) France / Suisse (sur rdv). ‎

‎Introduction to Mathematical Logic. Set Theory. Computable Functions. Model Theory.‎

‎Springer-Verlag, 1979, in-8vo, X + 198 p., orig. clothbound.‎

‎Le grimoire aux 100 énigmes logiques - En 3 tomes (3 volumes) - Tomes 1 + 2 + 3.‎

‎Esi. 2010. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 193 pages + 193 pages + 193 pages - nombreux dessins en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Compendium universae logicae.‎

‎Manuscrit ancien, in-8, vélin ivoire de l'époque, en deux parties de 64 et 80 pp., frontispice gravure de la Vierge à l'enfant.‎

‎Beau manuscrit bien relié de ce cours de philosophie tout à fait lisible. ‎

‎Extensions of First Order Logic‎

‎Cambridge University Press , Cambridge Tracts in Theoretical Computer Science Malicorne sur Sarthe, 72, Pays de la Loire, France 1996 Book condition, Etat : Très Bon hardcover, editor's illustrated binding grand In-8 1 vol. - 410 pages‎

‎ 1st Edition Contents, Chapitres : Contents, Preface, xxii, Text, 388 pages - 1. Standard second order logic : Second order grammar - Standard structures - Standard semantics - Semantic theorems - 2. Deductive calculi : Sequent calculii - Soundness theorem in standard semantics - Incompleteness in standard structure - 3. Categoricity of second order Peano arithmetic : Categoricity of Peano axioms - Peano models and primitive recursion - Induction models - Induction models and primitive recursion in induction models - 4. Frames and general structures : Second order frames - General structures - Algebraic definition of general structures - Logics obtained by weakening the schema of comprehension - Weak second order logic - 5. Type theory : A relational theory of finite types - RTT with lambda - Algebraic definition of relational general structures - A functional theory of types - Equational presentation of the functional theory of finite types - 6. Many-sorted logic : Structures - Formal many-sorted language - Semantics - Substitution of a term of a variable - The completeness of many-sorted logic - Reduction to one-sorted logic - 6. Applying many-sorted logic : General plan - Higher order logic as many-sorted logic - Modal logic - Propositional modal logic as many-sorted logic - The MODO theory - First order modal logic as many-sorted logic - Dynamic logic - Propositional dynamic logic as many-sorted logic Near fine copy, no markings‎

‎Langage Pascal et logique du premier ordre : programmation en Pascal, prédicats, systèmes formels, fonctions récursives, récursivité et dérécursification, preuve et complexité d'algorithmes (2 volumes).‎

‎ Masson Masson, Coll. Logique Mathématiques Informatique, 2 volumes, 1989, xii-287 p. et vi-288 p., brochés, environ 24x16cm. Quelques frottements d'usage en bordure des couvertures, coin supérieur des pages du tome 1 et coins des plats des 2 tomes un peu cornés. Bon état pour le reste.‎

4 Images

‎ Merci de nous contacter à l'avance si vous souhaitez consulter une référence au sein de notre librairie.‎

‎"Pour une logique du sens - Collection "" linguistique nouvelle ""."‎

‎Presses Universitaires de France. 1983. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Papier jauni. 268 pages.. . . . Classification Dewey : 160-Logique‎

‎"Collection "" linguistique nouvelle "" - Sommaire : Sémantique et vérité notions fondamentales - relativité de la vérité au langage naturel - le vrai par définition analyticité et définition linguistique - relations logiques entre définitions le problème de la polysémie - définitions, analyticité et primitifs sémantiques - le vrai dans les mondes possibles et les univers de croyance - subjonctif et vérité - mondes possibles et univers de croyance : essai d'analyse du futur et du conditionnel etc. Classification Dewey : 160-Logique"‎

‎Pour une logique du sens - Collection Linguistique nouvelle.‎

‎Presses Universitaires de France. 1992. In-8. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur acceptable. 319 pages - quelques phrases soulignées au crayon à papier à l'intérieur du livre sans conséquence sur la lecture.. . . . Classification Dewey : 160-Logique‎

‎Collection Linguistique nouvelle - Chapitres : Sémantique et vérité notions fondamentales - les conditions de vérité analyticité et définition linguistique - le vrai dans les mondes possibles et les univers de croyance - sémantisme flou : le plus ou moins vrai - de la sémantique à la pragmatique : la vérité de l'univers - de la vérité d'univers à des vérités paradoxales . Classification Dewey : 160-Logique‎

‎Logique contemporaine et formalisation - Collection Epiméthée essais philosophiques.‎

‎Presses Universitaires de France. 1964. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos plié, Intérieur acceptable. 230 pages - couverture jaunie.. . . . Classification Dewey : 160-Logique‎

‎Collection Epiméthée essais philosophiques. Classification Dewey : 160-Logique‎

‎Histoire de la Suisse: Avec une suite de Pierre Beguin: L'histoire recente (1928-1980‎

‎Payot 1980 714 pages 14 2x22x2 8cm. 1980. Broché. 714 pages.‎

5 Images

‎Bon état bonne tenue intérieur propre 2e plat marqué de rayures‎

‎Anagogie de la non-figuration‎

‎S.l. S.n. 1951 In-4 En feuilles ‎

‎Edition originale de ce feuillet ouvrant sur un extrait du texte de Mathieu pour l'exposition historique H.W.P.M.S.T.P [Hans HARTUNG - WOLS - Francis PICABIA - François STAHLY - Georges MATHIEU - Michel TAPIE - Camille BRYEN], présenté en 1948 à la galerie Allendy. L'artiste ensuite "théorise la non-contradiction des « notions d'efficacité et de gratuité » dans l'art, dans une comparaison éclectique avec les équations d'incertitude (principe de Heisenberg) utilisées en physique quantique et en s'appuyant sur la logique du contradictoire du philosophe Stéphane Lupasco duquel il était proche" (Site officiel Georges Mathieu). Le texte est daté du 5 mars 1949, et les notes de 1950 & 1951. Un feuillet plié en deux, 31,6 x 24 cm. Plis médian. En couverture illustration en noir de l'artiste. >Rare Bon 0‎

‎Le dixième problème de Hilbert - Son indécidabilité , traduit par Patrick Cegielski and Denis Richard‎

‎Masson , Axiomes Malicorne sur Sarthe, 72, Pays de la Loire, France 1995 Book condition, Etat : Bon broché, sous couverture imprimée éditeur grand In-8 1 vol. - 322 pages‎

‎ 1ere traduction en français Contents, Chapitres : Table, Avertissement, Preface, xv, Texte, 307 pages - Définitions - L'exponientiation est diophantienne - Codage diophantien - Equations diophantiennes universelles - Le dixième problème de Hilbert est indécidable - Quantificateurs universels bornés - Problèmes de décision de théorie des nombres - Complexité diophantienne - Problèmes de décision en analyse - Autres applications des représentations diophantiennes - Appendices : Théorème des quatre carrés - Théorème des restes chinois - Théorème de Kummer - Somme d'une progression géométrique généralisée - Bibliographie - Annexe : Ma collaboration avec Julia Robinson Bon exemplaire, frais et propre‎

‎PAS DE PANIQUE, C EST LOGIQUE!‎

‎MARABOUT. 2008. In-12. Broché. Très bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 139 pages- nombreuses illustrations en noir et blanc dans le texte. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Le grand livre des énigmes. Casse-tête et jeux de logique, tome 1.‎

‎ Reliure de l'éditeur, signet, 24X17 cm, 2008, 467 pages, illustrations d'Ivan Sigg, Marabout. Très bon état.‎

‎Le grand livre des énigmes. Casse-tête et jeux de logique‎

‎ 2007 Editions Marabout / Hachette Livres - 2007 - In-8, couverture cartonnée illustrée - 467 pages - Nombreuses illustrations‎

‎Bon état ‎

‎TESTEZ VOTRE QI - QUOTIENT INTELLECTUEL - TESTS D'EVALUATION PERSONNELLE POUR MESURER VOTRE INTELLIGENCE ET VOS PERFORMANCES AFIN DE MIEUX LES UTILISER ET CANALISER VOTRE ENERGIE VITALE‎

‎LE GRAND LIVRE DU MOIS. 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 139 Pages. Nombreuses figures en noir et blanc dans et hors texte. Nombreuses annotations au crayon à papier. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎The Game of the Name: Introducing Logic Language and Mind‎

‎Oxford University Press USA 1989 336 pages 13 8x2 6x21 4cm. 1989. Broché. 336 pages.‎

5 Images

‎proche du neuf couverture insolée intérieur propre bonne tenue‎

‎F. P. Ramsey: Philosophical Papers‎

‎Cambridge University Press 1990 286 pages 15 24x22 86x1 8288cm. 1990. Broché. 286 pages.‎

4 Images

‎Bon état dos un peu creusé et ridé intérieur propre‎

‎LES JEUX DE LESPRIT.‎

‎FRANCE LOISIRS. 1990. In-4. Cartonné. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 126 pages illustrées de nombreuses figures e nnoir et vert.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎LE BON SENS PUISE DANS LA NATURE OU IDEES NATURELLES.‎

‎, Rome / Paris, Le Raison, 1791.**, Relie de l' epoque, plein veau, cadre fleuronne dore sur les plats, dos orne dore, coupe et coiffes dore, titre dore sur etiquette noir, plats de papier marbre, 13x20cm, 244pp.‎

‎Belle editions du texte donne par d' Holbach en 1772, sous le titre Le bon sens ou idees naturelles opposees aux idees surnaturelles, reprenant le Testament etabli par Voltaire. Cet ouvragte peut etre concidere comme un chef d' oeuvre de logique.‎

‎Cantor a tort : histoire d'une lutte de 2300 ans entre deux formes de la pensée.‎

‎ Sival-Presse Editions Sival-Presse, Coll. la Pensée de Hommes, 1968, 312 p., broché, environ 18x13cm, Couverture salie, page de faux titre un peu froissée, bon état pour le reste.‎

‎Traduit par PE Bessière. Merci de nous contacter à l'avance si vous souhaitez consulter une référence au sein de notre librairie.‎

‎LE ROLE MEDIATEUR DE LA LOGIQUE.‎

‎, Paris/Assen/ Pays- Bas, Van Gorcum & comp, 1956., Relie, toile d' editeur, titre dore sur le plat et le dos, 14,5x23cm, 238pp.‎

‎Non coupe, bon etat, bibliograpfie, index des noms propres, index des concepts, table des matieres. clocks klok‎

‎Le role médiateur de la logique. Etude métathéorique‎

‎Assen, Van Gorcum 1956 240pp., 23cm., brochure originale, non coupé, très bon état, F94317‎

‎Ockham´s Theory of Terms Part 1 of the Summa Logicae‎

‎University of Notre Dame Press 1974 221 pages 14 986x1 524x22 606cm. 1974. Broché. 221 pages.‎

‎proche du neuf intérieur propre ex-libris sur la page titre‎

‎Logique, discours et pensée. Mélanges offerts à Jean-Blaise Grize.‎

‎Peter Lang, 1997, in-8vo, 444 p., brochure originale.‎