Лекция 3. С.Л.Кузнецов. Разрешимость Int. Секвенциальное исчисление для классической логики…