Ткаченко, С. В. Элементы математической логики  : учебное пособие для СПО / С. В. Ткаченко, А. С. Сысоев. — 2-е изд. —  Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. — 99 c. — ISBN 978-5-88247-964-9, 978-5-4488-0752-7. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/92841 (дата обращения: 19.04.2024). — Режим доступа: для авторизир. пользователей