Fonction d'Ackermann

De AgregmathKL
Révision de 26 février 2015 à 22:23 par Mathias Millet (discuter | contributions)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)
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
Récupérée de « https://minerve.ens-rennes.fr/index.php?title=Fonction_d%27Ackermann&oldid=2709 »