Математическая логика: Учебное пособие для вузов
Математическая логика
Проблемы разрешимости и конструктивные модели
