Семинар 3. Александр Грефенштейн. Интуиционистская логика и некоторые конструктивные логики на её…