Информационная система по формальным теориям
Об ИС по формальным теориям
Как работать с системой
Алфавиты
Классы термов
Языки (классы формул)
Описания теорий
Структурное представление теорий
Граф всех теорий (VRML)
Интерактивная работа с БД
Специальные возможности (поиск, LaTex и др.)
Пропозициональные теории
Силлогистические теории
Алгебраические теории
Кванторные теории
Классификации теорий
Дедукция
Теоретическая справка
Справка по сайту