Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №49 C.34-41
Lamberov Lev D. «The concept of proof in the context of a type-theoretic approach, I: Proof of computer program correctness» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №46 C.49-57
Khromchenko Anna S. «Differences in Conceptions of the Nature of Mathematical Propositions in Frege and Kant» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №61 C.126-134
