AshCJ ...


Ash C. J.
[1991]
A construction for recursive linear orderings
J. Symbolic Logic, 56, № 2, 673-683
92.08.58
Q
article

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