1. Consistency of a fragment of Quine’s NF system;Grishin;Soviet mathematics—Doklady,1969
2. [6] Tupailo S. , Consistency of Strictly Impredicative NF and a little more…, this Journal, vol. 75 (2010), pp. 1326–1338.
3. Algèbres de Boole atomiques et modèles de la théorie des types;Boffa;Cahiers du centre de logique,1982
4. ON THE REDUCTION OF TYPE THEORY
5. [3] Crabbé M. , On the consistency of an impredicative fragment of Quine’s NF, this Journal, vol. 47 (1982), pp. 131–136.