1. Aczel, P. (1980). Frege structures and the notions of proposition, truth and set. In J. Barwise, H. J. Keisler, K. Kunen (Eds.), The kleene symposium (pp. 31–59). Amsterdam: North Holland.
2. Cantini, A.(2004). On a Russellian paradox about propositions and truth. In G. Link (Ed.), One hundred years of russell’s paradox. Mathematics, logic and philosophy (pp. 259–284) Berlin: Walter de Gruyter.
3. Crabbè, M. (1982). On the consistency of an impredicative subsystem of Quine’s NF. The Journal of Symbolic Logic, 47, 131–136.
4. Fujimoto, K. (2012). Classes and truths in set theory. Annals of Pure and Applied Logic, 163(11), 1484–1523.
5. Halbach, V.(2011).Axiomatic theories of truth. Cambridge: Cambridge University Press.