НазваниеТип
Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и ВригтаДиссертация
Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиковДиссертация