Mathematics as a numerical language (1970)

by E Bishop
Venue:Intuitionism and Proof Theory