О пропозициональных исчислениях, представляющих понятие доказуемости
Дашков, Евгений Владимирович. О пропозициональных исчислениях, представляющих понятие доказуемости : диссертация ... кандидата физико-математических наук : 01.01.06 / Дашков Евгений Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2012.- 80 с.: ил. РГБ ОД, 61 13-1/180