Théorème de Récursion de Kleene

concept

Propriétés