1. Artemov, S., & Beklemishev, L. (2004). Provability logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 13, pp. 229–403). Kluwer.
2. Artemov, S., & Fitting, M. (2019). Justification logic: Reasoning with reasons. Cambridge University Press.
3. Becker, O. (1914). Über die Zerlegung eines Polygons in exclusive Dreiecke auf Grund der ebenen Axiome der Verknüpfung und Anordnung. F. A. Brockhaus.
4. Becker, O. (1923). Beiträge zur phänomenologischen Begründung der Geometrie und ihrer physikalischen Anwendung. In E. Husserl (Ed.), Jahrbuch für Philosophie und phänomenologische Forschung VI (pp. 385–560). Max Niemeyer Verlag.
5. Becker, O. (1927). Mathematische Existenz. Untersuchungen zur Logik und Ontologie mathematischer Phänomene. In E. Husserl (Ed.), Jahrbuch für Philosophie und phänomenologische Forschung VIII (pp. 439–809). Max Niemeyer Verlag.