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


Simpson S. G.
[1985]
Reverse Mathematics
Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 461-471
86.03.26
article

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