Constructive Definition of Certain Sets of Numbers (0)

by P Lorenzen, J Myhill
Venue:The Journal of Symbolic Logic