Fonction d'Ackermann : Différence entre versions
De AgregmathKL
m (Cori number 2) |
|||
| Ligne 10 : | Ligne 10 : | ||
* Cori-Lascar II | * Cori-Lascar II | ||
* Il y a quelques lignes là dessus dans le Carton | * Il y a quelques lignes là dessus dans le Carton | ||
| + | |||
| + | |||
| + | [[Category: Développement de la leçon 922]] | ||
Version actuelle en date du 26 février 2015 à 22:23
Où l'on montre sept lemmes intermédiaires.
Développement
Recasements
Références
- Cori-Lascar II
- Il y a quelques lignes là dessus dans le Carton
