1. S. R. Buss (editor), Handbook of Proof Theory, Elsevier 1998.
2. D. Hilbert, P. Bernays, Grundlagen der Mathematik, I, II, Berlin 1934, 1939, 2⟨{ nd}⟩ ed. Springer, Vol. I 1968, Vol. II 1970.
3. _________ , An overview of interpretability logic, in Advances in Modal Logic, Vol. 1 (editors M. Kracht et al.), CSLI Lecture Notes 87 (1998), 307–359.
4. _________ , Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte f. Math. u. Physik 38 (1931), 173–198, also in [Gö3, Vol. I, 144–195], [Hei, 592–617], [Dav, 4–38].
5. A. Whitehead, B. Russell, Principia Mathematica, I–III, Cambridge 1910, 1912, 1913, 2⟨{ nd}⟩ ed. Cambridge Univ. Press, Vol. I 1925, Vol. II, III 1927.