Provably recursive real numbers

William J. Collins. Provably recursive real numbers. Notre Dame Journal of Formal Logic, 19(4):513-522, 1978. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: