Условия выразимости и полноты пропозициональных исчислений
Боков, Григорий Владимирович. Условия выразимости и полноты пропозициональных исчислений : диссертация ... кандидата физико-математических наук : 01.01.09 / Боков Григорий Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.].- Москва, 2013.- 91 с.: ил. РГБ ОД, 61 14-1/219
