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
Gabrusenko Kirill A., Surovtsev Valery A. «F.P. Ramsey’s critics of formalism and intuitionism in the foundation of mathematics» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2014. №4(28) C.78-84
Rodin Kirill A., Shaldyakov Maksim N. «Wittgenstein on the Law of Excluded Middle in mathematics» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2017. №38 C.147-153
Baryshnikov Pavel N. «Can Math Be like Cholesterol? (Book Review: Hacking, I. (2020) Why Is There Philosophy of Mathematics at All? Translated from English by V.V. Tselishchev. Kanon + ROOI “Rehabilitation”. 400 p.)» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №61 C.272-278
