Зюзьков, В. М. Математическая логика и теория алгоритмов  : учебное пособие / В. М. Зюзьков. —  Томск : Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2015. — 236 c. — ISBN 978-5-4332-0197-2. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/72122 (дата обращения: 17.05.2024). — Режим доступа: для авторизир. пользователей