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


  •  Об ИС по формальным теориям

  •  Как работать с системой

  •  Алфавиты

  •  Граф алфавитов (VRML)

  •  Интерактивная работа с БД

  •  Пропозициональные алфавиты

  •  Силлогистические алфавиты

  •  Алгебраические алфавиты

  •  Алфавиты кванторных теорий

  •  Алфавиты кванторных теорий (VRML)

  •  алфавит аксиоматизации Этики Спинозы ABM [ABM] (txt)

  •  алфавит кванторной теории равенства AQE1 [AQE1] (txt)

  •  алфавит кванторной теории строгого порядка с равенством AQE1Os [AQE1Os] (txt)

  •  алфавит кванторной теории строгого порядка AQOs [AQOs] (txt)

  •  алфавит логики предикатов AQPr [AQPr] (txt)

  •  Классы термов

  •  Языки (классы формул)

  •  Описания теорий

  •  Классификации теорий

  •  Дедукция

  •  Теоретическая справка

  •  Справка по сайту