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