Bibliography of Lavrov I.A.


Буллос Дж., Джеффри Р.
[1994]
Вычислимость и логика
М., Мир (Перевод книги Boolos G., Jeffrey R.C. “Computability and Logic”, 1989.)
95.04.34
книга

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