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