1. Bernays, P.: Axiomatische Untersuchung des Aussagen-Kalkuls der Principia Mathematica. Math. Zeitsch. 25, pp. 305–320 (1926)
2. Dawson, J.: The compactness of first-order logic: from Gödel to Lindström. Hist. and Philos. Logic 14, pp. 15–37 (1993)
3. Feferman, S. et al. (eds): Kurt Gödel: Collected Works, vol. I. Oxford U.P., Oxford (1986)
4. Gödel, K.: Über die Vollständigkeit des Logikkalkuls. Doctoral dissertation, U. Vienna (1929). In (Feferman et al. 1986), pp. 61–101.
5. Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatsh. Math. und Physik 37, pp. 349–360 (1930). In (Feferman et al. 1986), pp. 103–123.