Логика. Диссертация Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков : диссертация ... кандидата философских наук : 09.00.07, Санкт-Петербург, 1999