Towards Limit Computable Mathematics, submitted manuscript (0)

by S Hayashi, M Nakata