Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : учебное пособиеКосовский, Николай Кириллович1981192 с.