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