Publimath
Il y a 2 résultats avec cette recherche.
1980 La philosophie intuitionniste et ses conséquences mathématiques.
Auteur : Dalen Dirk van
1990 L’identité en mathématiques constructives.