Логигическое введение в математику - Столяр А.А (Вышэйщ, 1971)