Проблемы разрешимости и конструктивные модели - Ершов Е. Л. Юрий Леонидович (Математическая логика и основания математики)