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


Uspensky V.A.
[1994]
Godel's incompleteness theorem
Theor.Comput. Sci., 130, № 2, 239-319 (Перевод книги В.А.Успенский "Теорема Геделя о неполноте", М., Наука, 1982.)
?
book

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