Becker H. ...


Becker H.,
[1988]
A characterization of jump operators
J. Symbolic Logic, 53, № 3, 708-728
89.07.55
article

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