• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Проект

Разработка дидактических материалов по теме "гильбертовские исчисления для классической логики высказываний"

Подготовка серии дидактических материалов, содержащих примеры выводов и упражнения по поиску вывода для различных вариантов гильбертовских исчислений классической логики высказываний