Maass W. ...


Maass W.
[1978]
Fine structure theory of the constructible universe in α- and β-recursion theory
Lect. Notes in Math., 669, 339-359, Springer-Verlag
79.07.66
article

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