Из истории секвенциальных логиктезисы доклада