Авторы настоящей книги - А. Н. Колмогоров и А. Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова, и содержит классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Изложение фундаментальных фактов современной логики (начальных понятий теории множеств, основ логики высказываний и логики предикатов) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Отзывов по данной книге еще нет, вы можете оставить его первым!
Рецензий еще нет, вы можете оставить ее первым!