1. Anderson, A. R., & Belnap, Jr, N. D. (1975). Entailment (Vol. 1). Princeton, NJ: Princeton University Press.
2. Boolos, G. (1976). On deciding the truth of certain statements involving the notion of consistency. Journal of Symbolic Logic, 41, 779–781.
3. Boolos, G. (1993). The logic of provability. Cambridge: Cambridge University Press.
4. Church, A. (1984). Russell’s theory of identity of propositions. Philosophia Naturalis, 21, 513–522.
5. Cresswell, M. J. (1970). Note on the interpretation of S0.5. Logique et Analyse, 13, 376–378.