Owings J.C. ...


Owings J.C.
[1973]
Diagonalization and the recursion theorem
Notre Dame J. Formal Logic, 14, № 1, 95-99
73.10.49
OS
article

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