On the Consistency of an Impredicative Subsystem of Quine's NF.

Marcel Crabbé On the Consistency of an Impredicative Subsystem of Quine's NF. 131-136 1982 47 J. Symb. Log. 1 db/journals/jsyml/jsyml47.html#Crabbe82