МАТЕМАТИКА

Об одном варианте конструктивного исчисления предикатов без структурных правил вывода

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

Институт физики и математики Академии наук ЛитССР

Статья представлена к публикации: П. С. Новиков
Поступило: 08.09.1964

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

• 
•