Fonction d'Ackermann

De AgregmathKL
Aller à : navigation, rechercher

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