Информационная система по формальным теориям

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