Fonctions récursives
An edition of Fonctions récursives (1961)
By Andrzej Grzegorczyk
Publish Date
1961
Publisher
Nauwelaerts
Language
fre
Pages
100
Description:
subjects: Fonctions récursives, Définissabilité, Théorie de la (Logique mathématique), Recursive functions, Non-résolubilité (Logique mathématique)