Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.] ; Пер. Г.В. Давыдова, Г.Е. Минца ; Под ред. В.П. Оревкова
Сводное описание: Язык: английский.Выходные данные: 1983, Б. м.Физическая характеристика: 391 с. : ил.Библиография: Библиогр. в конце глав; Предм. указ.: с. 383-388. Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 82-5/5748 (Просмотр полки(Открывается ниже)) | Доступно | 1-976210 |
Библиогр. в конце глав
Предм. указ.: с. 383-388