2013 BibliothĂšque Tangente. N° 49. Les maths de l’impossible.
Auteur : Cohen Gilles. Dir.
logique intuitionniste
Il y a 20 résultats avec cette recherche.
-
2000 Logique, ensemble, catégories. Le point de vue constructif.
Auteur : Ageron Pierre
-
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
-
2001 La logique ou l’art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René
-
Auteur : Duparc Jacques
-
-
2001 Introduction Ă la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
-
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.
-
2019 Généalogie des mathématiques.
Auteur : SĂ©guy-Duclot Alain
-
1984 Introduction Ă la logique.
Auteur : Haug Philippe-Jacques
-
1975 Introduction Ă la logique.
Auteur : Haug Philippe-Jacques
-
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
-
1994 Bulletin de l’APMEP. N° 396. p. 549-566. CatĂ©gories et topos : des univers Ă explorer.
Auteur : Michel-Pajus Anne
-
2002 Revue d’histoire des mathĂ©matiques. N° 8. Vol. 1. p. 113-140. L’autre axiome du choix.
Auteur : Ageron Pierre
-
Auteur : Girard Jean-Yves