Анатолий Геннадьевич Зыков Математическая логика. Учебник и практикум для академического бакалавриата Подробнее
