Simpson S.G. ...


Simpson S.G.
[1980]
The hierarchy based on the jump operator
Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 203-212
?
article

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