Mathematics as a numerical language (1980)

by E Bishop
Venue:Intuitionism and Proof Theory, pp.5371