Пынько Алексей Павлович. Алгебраическая интерпретация пропозициональных секвенциальных исчислений: Дис... канд. физ.- мат. наук: 01.01.08 / Институт кибернетики им. В.М.Глушкова НАН Украины. - К., 2000. - 104с. - Библиогр.:с.102-104.