Generalized Banach-Mazur functionals in the topos of recursive sets (0)

by P S Mulry
Venue:Journal of Pure and Applied Algebra