Développement : Les fonctions récursives sont les fonctions calculables par machine de Türing [no ref, no pdf]

Détails/Enoncé :

Autres années :

Versions :

Pas de version pour ce développement.