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


Успенский В.А.
[1953]
Теорема Геделя и теория алгоритмов
ДАН СССР, 91, № 4, 737-740
54.2487
O
статья

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