Название: Исследования по теории доказательств Автор: Крайзель Г. Издательство: Мир Год: 1981 Формат: pdf Страниц: 286 Размер: 13 Мб Язык: русский
Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию интереса к рассматриваемой проблематике. В частности, описываются приложения к реальному синтезу программ для вычислительных машин.
Навигация
Вход на сайт
Реклама
Исследования по теории доказательств 
Название: Исследования по теории доказательств