1. Ackermann, W. 1924 Begründung des ‘Tertium non datur’ mittels der Hilbertschen Theorie der Widerspruchsfreiheit, Mathematische Annalen, vol. 93, pp. 1–36.
2. Barwise, J., and S. Feferman 1985 Model-theoretic logics, Springer-Verlag, New York.
3. Benacerraf, P. 1985 Skolem and the skeptic, Proceedings of the Aristotelian Society, Supplementary Volume 59, pp. 85–115.
4. Bernays, P. 1918 Beiträge zur axiomatischen Behandlung des Logik-Kalküls, Habilitationsschrift, Göttingen.
5. Bernays, P. 1928 Die Philosophie der Mathematik und die Hilbertsche Beweistheorie, Blätter für Deutsche Philosophie, vol. 4, pp. 326–367.