@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/