Consistency of a fragment of Quine’s $\mathrm{NF}$ system
Doklady Akademii Nauk, Tome 189 (1969) no. 2, pp. 241-243
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{DAN_1969_189_2_a3,
author = {V. N. Grishin},
title = {Consistency of a fragment of {Quine{\textquoteright}s} $\mathrm{NF}$ system},
journal = {Doklady Akademii Nauk},
pages = {241--243},
year = {1969},
volume = {189},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1969_189_2_a3/}
}
V. N. Grishin. Consistency of a fragment of Quine’s $\mathrm{NF}$ system. Doklady Akademii Nauk, Tome 189 (1969) no. 2, pp. 241-243. http://geodesic.mathdoc.fr/item/DAN_1969_189_2_a3/