1. Brandom, R. (1994). Making it explicit. Cambridge: Harvard University Press.
2. Buss, S. R. (1998). Handbook of proof theory. Amsterdam: Elsevier.
3. Carnap, R. (1943). Formalization of logic. Cambridge: Harvard University Press.
4. Dunn, J. M., & Hardegree, G. M. (2000). Algebraic methods in philosophical logic. Oxford: Clarendon.
5. Gentzen, G. (1934). Untersuchungen über das logische Schliessen I. Mathematische Zeitschrift, 39, 176–210.