RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Аникеев А С
Публикации в базе данных Math-Net.Ru
О некоторой классификации выводимых пропозициональных формул
Матем. заметки
,
11
:2 (1972),
165–174
©
МИАН
, 2026
