"Конспект лекций О.Б.Лупанова по курсу ''Введение в математическую логику''" - читать интересную книгу автора (Угольников А.Б.(ред.))