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
Mikhailov Igor F. «Social Ontology: Time to Compute» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2020. №55 C.36-46
Mikhailov Igor F. «Computational Treatment for Life Science» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №61 C.38-46
