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


Boolos G., Jeffrey R.C.
[1989]
Computability and Logic
Cambridge University Press. (Имеется русский перевод)
75.05.70
book

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