1. van Bendegem, Jean-Paul (1993): Strict, yet rich finitism, pp. 61–79 of Z. W. Wolkowski (ed.) First International Symposium on Gödel's Theorems, World Scientific, Singapore.
2. Boolos, G. and Jeffrey, R. (1984): Computability and Logic, Cambridge University Press, Cambridge.
3. Dunn, J. M. (1979): A theorem in 3-valued model theory, with connections to number theory, type theory and relevance logic, Studia Logica 38, 149–169.
4. Kaye, R. (1991): Models of Peano Arithmetic, Clarendon Press, Oxford.
5. Meyer, R. K. (1978): Relevant arithmetic, Bulletin of the Section of Logic, Polish Academy of Sciences 5, 133–137.