Gandy R.O. ...


Gandy R.O.
[1967]
Computable functional of finite type, I
Sets, Models and Recursion Theory, Coll. and Summer School Math. Logic (Leichester, England, 1965), North-Holland, 202-242
69.01.76
article

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