Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов
Косовский, Николай Кириллович
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов, учебное пособие, Министерство высшего и среднего специального образования РСФСР, [Текст]
Ленинград :
Издательство Ленинградского университета ,
1981 .-
191, [1] с. .-