"Одна схема доказательств в дискретной математике" [A certain scheme for proofs in discrete mathematics], Исследования по конструктивной математике и математической...