Пынько, А. П.     Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства [Текст] / А.П. Пынько // Доповіді Національної Академії наук України  : науково-теоретичний журнал / Президія НАН України. — С. 45-51.