Вишневский, А.     Некоторые допустимые правила для системы сократического вывода [Текст] / А.Вишневский,В.О.Шангин // Вестник Московского университета. Серия 7.Философия. - 2007. - N5. ББК Ю Кл.слова (ненормированные): Сократический вывод в логике -- Язык -- Семантика -- Синтаксис -- Сократические доказательства -- Правило сечения Доп.точки доступа: Шангин, В.О.