МАТЕМАТИКА

Непротиворечивость некоторого фрагмента системы Куайна $\mathrm{NF}$

В. Н. Гришин

Всесоюзный институт научной и технической информации, г. Москва

УДК: 517.12:164.02+519.5

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

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

• 
•