Derivation of the axiom of choice from a finite nonclassical theory of sets and functions
Research output: Working paper › Preprint
3
Downloads
(Pure)
Research output: Working paper › Preprint