1. Becker, O. (1930). Zum Logik der Modalitäten. Jahrbuch für Philosophie und phänomenologische Forschung, 11, 495–548.
2. Franks, C. (2018). The context of inference. History and Philosophy of Logic, 39(4), 365–95.
3. Franks, C. (2021). The deduction theorem (before and after Herbrand). History and Philosophy of Logic, 42(2), 129–59.
4. Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: L. Nebert. Translated by T. W. Bynum as Conceptual Notation: a formula language of pure thought modeled upon the formula language of arithmetic . In T. W. Bynum (Ed.). (1972). Conceptual notation and related articles (pp. 101–208). New York: Oxford University Press.
5. Frege, G. (1910). Letter to Jourdain, translated and reprinted in Frege 1980.