The philosophical basis of intuitionistic logic (1975)

by M A E Dummett
Venue:Logic Colloquium ’73, volume 999