Fonctions recursives - Grzegorczyk Andrzej (Paris Gauthier Villars, 1961)
Keywords: Recursive functions