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


Nerode A., Shore R.A. (eds)
[1985]
Recursive Theory
Proc. Summer Institute on Recursive Theory (Ithaca, New York), Amer. Math. Soc., Ass. Symbolic Logic
?
book

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