Конструктивная математическая логика с точки зрения классической. Konstruktivnaya matematicheskaya logika s tochki zreniya klassicheskoyS. P. NovikovEsaurito4,3Avvisami