Report copyright - The theory of abstract sets based on rst-order logic with ...the variant NFU due to R. Jensen of W. v. O. Quine’s New Foundations, and in J. Barwise’s version of the Kripke-Platek
Please pass captcha verification before submit form