Введение в математическую логику : Спец. главы математики : Учеб. пособиеМухин, Владимир Васильевич200021 с.