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