|
Доклады Академии наук, 1969, том 189, номер 2, страницы 241–243
(Mi dan35008)
|
|
|
|
МАТЕМАТИКА
Непротиворечивость некоторого фрагмента системы Куайна $\mathrm{NF}$
В. Н. Гришин Всесоюзный институт научной и технической информации, г. Москва
Образец цитирования:
В. Н. Гришин, “Непротиворечивость некоторого фрагмента системы Куайна $\mathrm{NF}$”, Докл. АН СССР, 189:2 (1969), 241–243
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan35008 https://www.mathnet.ru/rus/dan/v189/i2/p241
|
|