Математика. Диссертация Сложность пропозициональных систем доказательств, оперирующих неравенствами : диссертация ... кандидата физико-математических наук : 01.01.06, Санкт-Петербург, 2007