Скорубский, Владимир Иванович. Математическая логика: учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Электрон. дан. — Москва: Юрайт, 2022. — 211 с. — (Высшее образование). — URL: https://urait.ru/bcode/490017 (дата обращения: 21.09.2022). — Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. — <URL:https://urait.ru/bcode/490017>.