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