1. Les théorèmes 3-stratifiés de NF3;Boffa;C. R. Acad. Sci. Paris,1975
2. Model Theory;Chang,1990
3. On the consistency of an impredicative subsystem of Quine's NF;Crabbé;J. Symbolic Logic,1982
4. On NFU;Crabbé;Notre Dame J. Form. Log.,1992
5. Decidable fragments of the Simple Theory of Types with infinity and NF;Dawar;Notre Dame J. Form. Log.,2017