|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1970 |
1. |
Ф. А. Кабаков, “Об интуиционистской выводимости некоторых реализуемых формул логики высказываний”, Докл. АН СССР, 192:2 (1970), 269–271 |
2. |
Ф. А. Кабаков, “О моделировании по реализуемости псевдобулевых алгебр”, Докл. АН СССР, 192:1 (1970), 16–18 |
|