The ultraintuitionistic criticism and the antitraditional programme for foundations of mathematics (1970)

by A S Esenin-Volpin
Venue:in Intuitionism and Proof