Classical Recursion Theory

Piergiorgio Odifreddi

Utilisée dans les 1 développements suivants :

Les fonctions récursives sont lambda-définissables

Utilisée dans les 0 leçons suivantes :


Utilisée dans les 2 versions de développements suivants :


Utilisée dans les 0 versions de leçons suivantes :