1. Universitext;C. Smoryński,1985
2. Boolos, G. (ed.): The logic of provability. Cambridge University Press, Cambridge (1993)
3. Lindström, P.: Provability logic – a short introduction. Theoria 62, 19–61 (1996)
4. Japaridze, G., de Jongh, D.: The logic of provability. In: Buss, S. (ed.) Handbook of proof theory, pp. 475–546. North-Holland Publishing Co., Amsterdam (1998)
5. Artemov, S., Beklemishev, L.: Provability logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 13, pp. 229–403. Kluwer, Dordrecht (2004)