Harrington L. A. ...


Harrington L. A.
[1974]
The superjump and the first recursively Mahlo ordinal
General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 43-52 North Holland
75.06.117
article

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