@article{1183739947, author = {Boffa, M.}, title = {The Consistency Problem for NF}, journal = {J. Symbolic Logic}, volume = {42}, number = {1}, year = {1977}, pages = { 215-220}, language = {en}, url = {http://dml.mathdoc.fr/item/1183739947} }
Boffa, M. The Consistency Problem for NF. J. Symbolic Logic, Tome 42 (1977) no. 1, pp. 215-220. http://gdmltest.u-ga.fr/item/1183739947/