Конструктивная математическая логика с точки зрения классической. Konstruktivnaya matematicheskaya logika s tochki zreniya klassicheskoy1977Bewachen
