Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода

Р. А. Плюшкевичус

Реферативные базы данных:

• 
•