В. И. Математическая логика : учебник и практикум / В. И. Скорубский, В. И. Поляков, А. Г. Зыков.. - Москва : Юрайт, 2023. - 211 с. URL: https://urait.ru/bcode/511996. URL: https://urait.ru/book/cover/D5FDDEE0-0543-4ABD-B5BB-53F02B764E82