Extension de la notion de fonction recursive aux fonctions d’une ou plusieurs variables reelles (1955)

by D Lacombe