Проблемы разрешимости и конструктивные модели
Язык: русский.Выходные данные: М. : Наука, 1980Физическая характеристика: 415 с. ; 20 см.Серия: Математическая логика и основания математики Библиография: Библиогр.: с. 397-409 (259 назв.); Указ. обозначений, предм.: с. 410-415.Предметная рубрика - Тема: Конструктивные модели Другие классификации: В122 ; В127.1Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 80-3/9827 (Просмотр полки(Открывается ниже)) | Доступно | 1-4334172 |
Библиогр.: с. 397-409 (259 назв.)
Указ. обозначений, предм.: с. 410-415