Математическая логика

Книги:
Латотин, Л. А. Математическая логика учеб. пособие для мат. спец. пед. ин-тов / Л. А. Латотин, А. А. Столяр - Минск: Вышэйш. шк., -1991. -269 с. ил.
Непейвода, Н. Н. Прикладная логика Учеб. пособие для вузов / Н. Н. Непейвода - Ижевск: Изд-во Удмурт. ун-та, -1997. -385 с.
Статьи:
Бирюков, Б. В. Из истории становления логико-математического конструктивизма / Б. В. Бирюков // Вопросы философии. - 1968. - №12. - С. 89-102.