Библиография Лаврова И.А.


Downey R. G., Hirschfeldt D. R., Lempp S., Solomon R.
[2003]
Computability-theoretical and proof-theoretical aspects of partial and linear orderings
Israel J. Math., 138, 271-289
?
article

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