Fonction d'Ackermann
De AgregmathKL
Révision de 26 février 2015 à 21:23 par Mathias Millet (discuter | contributions)
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