Изменчивая природа математического доказательства : доказать нельзя поверить / Стивен Кранц ; перевод с английского Н. А. Шиховой. - 3-е изд. - Москва : Лаборатория знаний, 2020 (Красноярск : ГУНБ, 2023). - эл. копия печатного документа : цв. - (Просветительская программа "Всенаука"). - Систем. требования: Интернет-браузер ; AcrobatReader. - Загл. с титул. экрана. - Вариант загл. : Доказать нельзя поверить. - Пер. изд. : The proof is in the pudding / Steven G. Krantz. - ISBN 978-5-00101-064-7 : ~Б. ц. - Текст : электронный.
27.03  
ББК 22.122
Рубрики:
   Математическая логика
   Теория доказательств (мат.)

Кл.слова (ненормированные):
доказательство теорем -- проверка программ -- доказательства, построенные компьютером -- социология математического доказательства

Доп.точки доступа: Шихова, Н. А. \пер.\; Krantz, Steven G.