G. Frege, Philosophical and mathematical correspondence, Oxford, Blackwell, 1980
M. van Atten, “The development of intuitionistic logic”, Stanford Encyclopedia of Philosophy, 2009.
M. Dummett, “The philosophical basis of intuitionistic logic”, in Truth and Other Enigmas, London, Duckworth, 1978.
MacFarlane, “Prawitz’s proof-theoretic account of consequence”, mimeo.
G. Usberti, Lecture Notes, mimeo.