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