1. Adžić, M., & Došen, K. (2016). Gödel’s Notre Dame course. The Bulletin of Symbolic Logic, 22, 469–481.
2. Awodey, S., & Carus, A. W. (2010). Gödel and Carnap. In S. Feferman et al. (Eds.), Kurt Gödel: Essays for his centennial (pp. 252–274). Cambridge University Press.
3. Bernays, P. (1926). Axiomatische Untersuchung des Aussagen-Kalküls der ‘Principia Mathematica’. Mathematische Zeitschrift, 25, 305–320.
4. Crocco, G. (2012). Gödel, Leibniz and “Russell’s mathematical logic”. In R. Krömer, et al. (Eds.), New essays on Leibniz reception (pp. 217–256). Springer.
5. Dawson, J. W., Jr. (1997). Logical dilemmas: The life and work of Kurt Gödel. Peters.