Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
Antonino Drago, “An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper”, Log. Univers., 15, № 4, 2021, 537
Hanamantagouda P. Sankappanavar, Handbook of Logical Thought in India, 2022, 1
Serge Grigorieff, Jean-Yves Marion, “Kolmogorov complexity and non-determinism”, Theoretical Computer Science, 271, № 1-2, 2002, 151
Sergei N. Artemov, “Explicit Provability and Constructive Semantics”, Bull. symb. log., 7, № 1, 2001, 1
Andrew Schumann, 2014 11th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), 2014, 466
Ming Li, Paul Vitányi, An Introduction to Kolmogorov Complexity and Its Applications, 1997, 1
Jean Mosconi, 34, Constructivity and Computability in Historical and Philosophical Perspective, 2014, 37
Matteo De Benedetto, “Explication as a Three-Step Procedure: the case of the Church-Turing Thesis”, Euro Jnl Phil Sci, 11, № 1, 2021, 21
Yuri Gurevich, “Sequential abstract-state machines capture sequential algorithms”, ACM Trans. Comput. Logic, 1, № 1, 2000, 77