О финитной аппроксимируемости для допустимых правил вывода В.В. Рыбаков; В.Р. Кияткин; Т. Онер — 2001 Algebra i Logika