1. J-Y. Girard, Y. Lafont and P. Taylor. (1989): Proofs and Types, Cambridge Tracts in Computer Science, Cambridge: Cambridge University Press.
2. W. Goldfarb. (1989): Russell's reasons for ramification. in C. Savage and C. Anderson (eds.), Rereading Russell, University of Minnesota Press, Minneapolis, pp. 25–39.
3. D. Prawitz. (1965): Natural Deduction, Almkvist & Wiksell, Stockholm.