The philosophical basis of intuitionistic logic (1973)

by Michael Dummett
Venue:Proceedings of the Logic Colloquium