1. Aczel, P., ‘Frege Structures and the Notion of Proposition, Truth and Set’, in J. Barwise et al. (eds), The Kleene Symposium, North-Holland, 1980, pp. 31–59.
2. Beeson, M. J., Foundations of Constructive Mathematics: Metamathematical Studies, Springer, Berlin, 1985.
3. Buss, S. R., Bounded Arithmetic, Bibliopolis, Napoli, 1986.
4. Cantini, A., Logical Frameworks for Truth and Abstraction, North-Holland, Amsterdam, 1996.
5. Cantini, A., ‘On the Computational Content of Weak Applicative Theories with Totality I’, 1996, Preliminary Draft.