Синтаксическое доказательство эквиполентности секвенциального и аналитико-табличного исчислений, аксиоматизирующих классическую пропозициональную логикудипломная работа (Специалист)