Ткаченко, С. В. Элементы математической логики : учебное пособие для СПО / С. В. Ткаченко, А. С. Сысоев. — 3-е изд. — Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2024. — 99 с. — ISBN 978-5-00175-289-9, 978-5-4488-2060-1. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/139735 (дата обращения: 04.10.2026). — DOI: https://doi.org/10.23682/139735. — Режим доступа: для авторизир. пользователей