Spector C. ...


Spector C.
[1955]
Recursive well-orderings
J. Symbolic Logic, 20, № 2, 151-163
56.7838
ROS
article

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