Derivation of the axiom of choice from a finite nonclassical theory of sets and functions
Onderzoeksoutput: Voordruk
3
Downloads
(Pure)
Onderzoeksoutput: Voordruk