1. Kremer, P., “The Gupta-Belnap systems ${\bf S}^\#$ and ${\bf S}^*$ are not Axiomatisable," The Notre Dame Journal of Formal Logic, vol. 34 (1993), pp. 583–596.
2. Belnap, N., and A. Gupta, The Revision Theory of Truth, Mit Press, Cambridge, Ma, 1993.
3. Hinman, P., Recursion-Theoretic Hierarchies, Springer-Verlag, Berlin, 1978.
4. McGee, V., Truth, Vagueness, and Paradox: An Essay on the Logic of Truth, Hackett, Indianapolis, 1991.