Fonction d'Ackermann : Différence entre versions
De AgregmathKL
m (biblio) |
m (Cori number 2) |
||
| Ligne 8 : | Ligne 8 : | ||
== Références == | == Références == | ||
| − | * Cori-Lascar | + | * Cori-Lascar II |
* Il y a quelques lignes là dessus dans le Carton | * Il y a quelques lignes là dessus dans le Carton | ||
Version du 18 avril 2012 à 10:42
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
