1. Frege structures and the notions of proposition, truth and set;Aczel,1980
2. Admissible Sets and Structures, Perspectives in Mathematical Logic;Barwise,1975
3. Foundations of Constructive Mathematics: Metamathematical Studies;Beeson,1985
4. Friedman and the axiomatization of Kripke's theory of truth;Burgess,2009
5. A theory of formal truth arithmetically equivalent to ID1;Cantini;J. Symb. Log.,1990