Tag Archives: модели систем естественного вывода

О сравнении правил вывода при обучении математической логике будущих учителей математики