The Philosophical Basis of Intuitionistic Logic (1978)

by Michael Dummett
Venue:Harvard University