1. Cantini A.: The undecidability of Gris̆hin’s set theory. Studia Logica 74, 345–368 (2003)
2. Gupta, A., On circular concepts, in A. Chapuis, and A. Gupta (eds.), Circularity, Definition, and Truth, Indian Council of Philosophical Research, 2000, pp. 123–153.
3. Gupta, A., and N. Belnap, The Revision Theory of Truth, MIT Press, 1993.
4. Gupta, A., and S. Standefer, Conditionals in theories of truth, 2010. In preparation.
5. Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000, 2nd edition.