S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russ. Math. Surv., 74, № 4, 2019, 735
G. E. Tseitlin, “Algebro-algorithmic aspects of completeness: Abstractions, biology, and ecology”, Cybern Syst Anal, 44, № 5, 2008, 760
Violetta N. Volkova, Vladimir N. Kozlov, Vladimir E. Mager, Liudmila V. Chernenkaya, 2017 XX IEEE International Conference on Soft Computing and Measurements (SCM), 2017, 183
C.S.N. Koushik, Shruti Bhargava Choubey, Abhishek Choubey, Cognitive Informatics, Computer Modelling, and Cognitive Science, 2020, 133
Sergei Ivanovich Adian, Nikolai Nikolaevich Andreev, Lev Dmitrievich Beklemishev, Sergey Savostyanovich Goncharov, Yurii Leonidovich Ershov, Yuri Vladimirovich Matiyasevich, Yurii Sergeevich Osipov, Mati Reinovich Pentus, Vladimir Alexandrovich Plungyan, Ekaterina Vladimirovna Rahilina, Victor Antonovich Sadovnichii, Aleksei Lvovich Semenov, Sergey Georgievich Tatevosov, Vladimir Mikhailovich Tikhomirov, Alexander Khanievich Shen', “Владимир Андреевич Успенский (27.11.1930-27.06.2018)”, Успехи математических наук, 74, № 4(448), 2019, 165
Vasil Penchev, “Fermat’s Last Theorem Proved in Hilbert Arithmetic I: From the Proof by Induction to the Viewpoint of Hilbert Arithmetic”, IJPAMR, 2, № 2, 2022, 24
Ronald William Lake, Saeed Shaeri, STMLD Senevirathna, “Review of the limitations and potential empirical improvements of the parametric group method of data handling for rainfall modelling”, Environ Sci Pollut Res, 30, № 44, 2022, 98907
Bruno Durand, “De la logique aux pavages”, Theoretical Computer Science, 281, № 1-2, 2002, 311