Sacks G.E. ...


Sacks G.E.
[1971]
Recursion in objects of finite types
Actes Congress Inter. Math., (Nice, 1970), v.1, Paris, Gauthier-Villars, 251-254
72.05.54
article

Вернуться к поиску