Hajime Ishihara
(2000-2009)
XRelativization of real numbers to a universe
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
(2000-2009)
XRelativization of real numbers to a universe
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer