Лекции по математической логике: Учеб. пособие для студентов специальности 0647 / М-во высш. и сред. спец. образования РСФСР. Моск. ин-т электронного машиностроения