ЛОГИКА. УЧЕБНИК для СРЕДНЕЙ школы. Уверждён Министерством просвещения РСФСР. ИЗДАНИЕ ВОСЬМОЕ. ГОСУДАРСТВЕННОЕ УЧЕБНО-ПЕДАГОГИЧЕСКОЕ ИЗДАТЕЛЬСТВО МИНИСТЕРСТВА ПРОСВЕЩЕНИЯ РСФСР. МОСКВА, 195 4. – 177 с. скачать

Зюзьков В.М. Математическая логика и теория алгоритмов: учебное  пособие/ В.М.Зюзьков.-Томск: Эль Контент, 2015.-236с. Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса “математическая логика и теория алгоритмов” направлений подготовки…