Автор: Такеути Гаиси
Основное заглавие: Теория доказательств
Ответственность: пер. с англ. С. К. Соболева ; под ред. С. И. Адяна
Физический носитель: текст
Год публикации: 1978
Место издания: Москва
Издательство: Мир
Объем: 412 с.
Ключевые слова: Теоремы; Доказательство; Математическая логика;
ББК: 22.122
Библиография: Предм. указ.: с. 406-410
№ | Инвентарный номер |
Сигла | Статус | Дата возврата |
---|---|---|---|---|
1 | 1881070 | кх | Доступна | - |
2 | 1872447 | кх | Доступна | - |
При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера