1. Dummett, Michael: 1975, ?The philosophical basis of intuitionistic logic?, in H. E. Rose et al. (eds.), Logic Colloquim '73, North-Holland, Amsterdam, pp. 5?40.
2. Dummett, Michael: 1974, ?What is a theory of meaning?? (II), in G. E. Evans and J. McDowell (eds.), Truth & Meaning, Oxford Univ. Press, Oxford, pp. 67?137.
3. Gentzen, Gerhard: 1935, ?Untersuchungen über das logische Schliessen?, Mathematische Zeitschrift 39, 176?210, 405?431.
4. Heyting, Arend: 1956, Intuitionism, North-Holland, Amsterdam.
5. Kreisel, Georg: 1962, ?Foundations of intuitionistic logic?, in E. Nagel et al. (eds.), Logic, Methodology, and Philosophy of Science, Stanford, pp. 192?210.