Терзилер М

Публикации в базе данных Math-Net.Ru

1. Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики
   
   Алгебра и логика, 39:6 (2000),  720–740
2. Независимые базисы для правил, допустимых в предтабличных логиках
   
   Алгебра и логика, 39:2 (2000),  206–226