%0 Journal Article %A A. S. Kuzichev %T The consistency of Quine's system $\mathcal{N}F$ %J Doklady Akademii Nauk %D 1983 %P 537-541 %V 270 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1983_270_3_a5/ %G ru %F DAN_1983_270_3_a5