Downey R. G., Lempp S. ...


Downey R. G., Lempp S.
[1999]
On the proof theoretical strength of the Dushnik-Miller theorem for countable linear orderings
Recursive Theory and Complexity, Kazan’97 Workshop, (Kazan, 1997), v. 2, 55-57, de Gruyter
?
article

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