Макоха, А. Н. Математическая логика и теория алгоритмов  : учебное пособие / А. Н. Макоха, А. В. Шапошников, В. В. Бережной. —  Ставрополь : Северо-Кавказский федеральный университет, 2017. — 418 c. — ISBN 2227-8397. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/69397 (дата обращения: 11.05.2024). — Режим доступа: для авторизир. пользователей