mathématiques constructives

Il y a 30 résultats avec cette recherche.

1990 La démonstration mathématique dans l’histoire. Mathématiques constructives : hier et demain. p. 233-249.

Auteur : Lombardi Henri
1994 Histoire d’infini. De la difficulté d’être omniscient. p. 129-149.

Auteur : Lombardi Henri
1990 L’identité en mathématiques constructives.

Auteur : Dalen Dirk van
1994 Mathématiques constructives. Hier et demain. p. 3-14.

Auteur : Lombardi Henri
1994 Mathématiques constructives. A propos du théorème des accroissements finis. p. 15-23.

Auteur : Lombardi Henri
1994 Mathématiques constructives. De la difficulté d’être omniscient. p. 25-37.

Auteur : Lombardi Henri