The Work On the Consistency of a Slight(?) Modification of Quine's NF The details The Author Ronald Jensen The offers
