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

МАТЕМАТИКА

О полноте классического исчисления предикатов в конструктивной математической логике

А. А. Марков

Вычислительный центр АН СССР, г. Москва

УДК: 517.11

Поступило: 23.08.1973

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

• 
•