Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теориидоказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию интереса к рассматриваемой проблематике. В частности, описываются приложения к реальному синтезу программ для вычислительных машин.
Сборник представляет интерес как для читателей с минимальной подготовкой в области математической логики, так идля специалистов, которые могут ознакомиться с доказательствами новых глубоких результатов.

логіка, логика, математика, математика, комп'ютерні програми, компьютерные программы, арифметика, предікати, предикаты