HAACK. Dummett's Justification of Deduction. no. 362, Oxford University Press (OUP), 1982, doi:10.1093/mind/xci.362.216.