Кабаков Феликс Александрович

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

1. Об интуиционистской выводимости некоторых реализуемых формул логики высказываний
   
   Докл. АН СССР, 192:2 (1970),  269–271
2. О моделировании по реализуемости псевдобулевых алгебр
   
   Докл. АН СССР, 192:1 (1970),  16–18