1. MARTIN-LOF PER, (1984 ) Intuitionistic Type Theory, (Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980), series Studies in Proof Theory, Bibliopolis, Naples, iv + iv pp.
2. J. G. B. DE QUEIROZ RUY , (1980 ) "Meaning as use not content: an alternative view on the proof-theoretic account of meaning" (submitted for publication).
3. Ludwig Wittgenstein, (1922 1961, Routledge & Kegan Paul, London, xxii + xxii pp.
4. Ludwig Wittgenstein, (1953 1984), Basil Blackwell, Oxford, viii + viii pp. (referred to simply as ?Investigations? throughout the text).
5. Ludwig WITTGENSTEIN, G. H. Wright, and G. E. M. Anscombe , (1961 ) Notebooks 1914-16 , (eds.), with an English translation by G. E. M. Anscombe, Basil Blackwell, Oxford, 140 + 140 pp.