Явный базис допустимых правил вывода табличной логики
статья из журнала

Цифровые и тематические книжные коллекции издания