Ladov Vsevolod A. «Critical analysis of the hierarchical approach to the solution of the paradox problem» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №44 C.11-24
Domanov Oleg A. «Formalization of Contexts in Type Theory with Records and Modules» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №52 C.23-38
Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, III: Proofs as (Some) Types» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2020. №57 C.25-32
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
Ladov Vsevolod A. «The Idea of Limiting the Type Theory in the Philosophy of Mathematics in the Context of the Criticism of Epistemological Relativism» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №51 C.43-52
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
Gukova Angelina V., Ladov Vsevolod A. «Critical Analysis of Early Ludwig Wittgenstein’s Theory of Symbolism» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №64 C.49-56
Ladov V.A. «Criticism of the Theory of Types in the Early Wittgenstein's Philosophy» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №62 C.194-203
Borisov Evgeny V. «The Russell-Wittgenstein Theory of Symbolism» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №62 C.211-217
Surovtsev Valeriy A. «Is Wittgenstein's Theory of Symbolism a Radical Version of the Theory of Types?» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №62 C.228-236
Tselishchev Vitaliy V., Khlebalin Aleksandr V. «Philosophical Insights and Technical Work: The Fates of Paradoxes» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №62 C.237-243
Ladov Vsevolod A. «Was the Early Wittgenstein Original?» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №62 C.244-249
Domanov Oleg A. «Understanding as computation» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2022. №67 C.287-291
