"Конструктивная математическая логика с точки зрения классической" - читать интересную книгу автора (Новиков П.С.)