Accueil Publimath  Aide à la recherche  Requête : "logique intuitionniste"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
21 fiches trouvées Réponses 1 à 20 Suivant Fin

12015 Bibliothèque Tangente. N° 55. Cela existe, je l'ai démontré ! p. 18-22.
22015 La logique pas à pas.
32015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l'ai démontré !
42013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
52013 Bibliothèque Tangente. N° 49. L'échelle de l'existence mathématique. p. 90-94.
62013 La Créativité en mathématiques.Ressource en ligne
72013 Tangente Hors-série. N° 49. p. 12-14. L'échelle de l'existence mathématique.
82012 50 ans de carrière d'un enseignant-chercheur.
92007 Les métamorphoses du calcul.
102003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
112001 Expressions. N° 18. Histoire et philosophie des sciences. p. 87-116. Géométrie avec ou sans tiers exclu ? Motivation pour l'intuitionnisme à travers la géométrie.Ressource en ligne
122001 Introduction à la logique.
132001 La logique ou l'art de raisonner.
142000 Logique, ensemble, catégories. Le point de vue constructif.Ressource en ligne
151995 La machine de Turing.
161994 Bulletin de l'APMEP. N° 396. p. 549-566. Catégories et topos : des univers à explorer.
171994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
181994 Mathématiques constructives.Ressource en ligne
191991 La logique linéaire.
201984 Introduction à la logique.Ressource en ligne