Пинько Олексій Павлович. Алгебраїчна інтерпретація пропозиційних секвенційних обчислень : Дис... канд. наук: 01.01.08 - 2000.