Degtev A.N. ...


Degtev A.N.
[1982]
Small degrees in ordinary recursive theory
Proc. VI Inter. Congress Logic, Methodology, Philosophy Sci., (Hannover, 1979), North-Holland, 237-240
?
S
article

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