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

МАТЕМАТИКА

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

И. Д. Заславский

Вычислительный центр Академии наук АрмССР Ереванского государственного университета

УДК: 517.11

Статья представлена к публикации: А. А. Дородницын
Поступило: 11.07.1972

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

• 
•