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