The philosophical basis of intuitionistic logic (1973)

by M Dummett
Venue:In Truth and Other Enigmas