1 - Enumerability decidability computability : an introduction to the theory of recursive functionsHermes, Hans (1912-2003) / Herman, G. T. (Trad.) / Plassmann, O. (Trad.)Cote : [05 HER 65]