Mots-clés – Auteurs

logique intuitionniste

Il y a 20 résultats pour cette recherche

2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
2017 Repères-IREM. N° 107.
Auteur : Repères-IREM Comité de rédaction. Dir.
2017 Repères-IREM. N° 107. p. 45-66. Roger Apéry, l’humour au service d’une pensée libre et originale sur les mathématiques constructives.
Auteurs : Lombardi Henri ; Neuwirth Stefan
2015 La logique pas à pas.
Auteur : Duparc Jacques
2013 La Créativité en mathématiques.
Auteurs : Alberti Miquel ; Alvarez Aurélien. Préf. ; Halaoua Youssef. Trad. ; Ly Maguy. Trad. ; Moinereau Laurence. Trad. ; Villani Cédric. Collab.
2013 Bibliothèque Tangente. N° 49. L’échelle de l’existence mathématique. p. 90-94.
Auteur : Delahaye Jean-Paul
2013 Tangente Hors-série. N° 49. p. 12-14. L’échelle de l’existence mathématique.
Auteur : Delahaye Jean-Paul
2013 Bibliothèque Tangente. N° 49. Les maths de l’impossible.
Auteur : Cohen Gilles. Dir.
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2003 Leçons de mathématiques d’aujourd’hui. Vol. 2.
Auteurs : Godefroy Gilles ; Girard Jean-Yves ; Tenenbaum Gérald ; Morain François ; Waldschmidt Michel ; David Guy ; Bardos Claude ; Karoubi Max ; Fontaine Jean-Marc ; Hindry Marc ; Raynaud Michel ; Keane Michael ; Charpentier Eric. Dir. ; Nikolski Nicolaï Kapitonovitch. Dir. ; Habsieger Laurent. Dir.
2002 Revue d’histoire des mathématiques. N° 8. Vol. 1. p. 113-140. L’autre axiome du choix.
Auteur : Ageron Pierre
2001 La logique ou l’art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
2000 Logique, ensemble, catégories. Le point de vue constructif.
Auteur : Ageron Pierre
1994 Bulletin de l’APMEP. N° 396. p. 549-566. Catégories et topos : des univers à explorer.
Auteur : Michel-Pajus Anne
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
Auteur : Lombardi Henri
1991 La logique linéaire.
Auteur : Girard Jean-Yves
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques