Эта публикация цитируется в 1 статье

О двух расширениях логики доказуемости GL

В. Ю. Шавруков

Московский государственный университет им. М. В. Ломоносова

УДК: 510.65

MSC: Primary 03B45; Secondary 03C80

Поступила в редакцию: 25.11.1988

 Англоязычная версия: Mathematics of the USSR-Sbornik, 1991, 69:1, 255–270

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

• 
• 
• 
•