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


Клини С. К.
[1957]
Введение в метаматематику
М., ИЛ (Перевод книги Kleene S. C., “Introduction to metamathematics”, 1952.)
57.7591
RE
книга

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