В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А. Г. Драгалина явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретике-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
