Martin Davis, Wilfried Sieg, Turing’s Revolution, 2015, 3
Stuart H. Rubin, “Knowledge-Based Programming for the Cybersecurity Solution”, TOAIJ, 5, no. 1, 2018, 1
Yuri Gurevich, Turing’s Revolution, 2015, 187
Gaisi Takeuti, Masahiro Yasumoto, Gödel '96, 2017, 120
Lev Goldfarb, “On the foundations of intelligent processes—I. An evolving model for pattern learning”, Pattern Recognition, 23, no. 6, 1990, 595
Jan van Leeuwen, Peter Widmayer, 3, Computing, 1992, 323
Wilfried Sieg, Reflections on the Foundations of Mathematics, 2017, 390
V. I. Pagurova, D. D. Sokolov, S. S. Marchenko, A. P. Ershov, A. I. Shtern, L. D. Kudryavtsev, M. M. Postnikov, A. I. Orlov, Yu. V. Nesterenko, V. A. Skvortsov, V. T. Filippov, Yu. I. Merzlyakov, A. L. Shmel’kin, S. A. Stepanov, A. V. Chernavskiĭ, V. S. Malakhovskiĭ, B. M. Bredikhin, M. S. Nikulin, V. B. Kudryavtsev, V. I. Sobolev, A. F. Kharshiladze, E. D. Solomentsev, V. T. Bazylev, A. V. Arkhangel’skiĭ, S. G. Kreĭn, A. V. Prokhorov, V. A. Sevast’yanov, A. M. Zubkov, B. A. Sevast’yanov, V. P. Chistyakov, N. P. Korneĭchuk, V. P. Motornyĭ, A. V. Malyshev, V. P. Motornyi, A. N. Shiryadev, R. Z. Khas’minskiĭ, A. N. Shiryaev, M. G. Shur, A. B. Ivanov, S. M. Nikol’skiĭ, L. D. Kantorovich, V. L. Makarov, S. I. Adyan, A. V. Gladkiĭ, A. N. Tikhonov, A. A. Samarskiĭ, A. G. Sveshnikov, V. S. Vladimirov, V. G. Karmanov, A. N. Kolmogorov, Yu. V. Prokhorov, G. Rozenberg, A. Salomaa, V. M. Starzhinskiĭ, M. V. Fedoryuk, S. P. Strunkov, D. A. Suprunenko, E. L. Tonkov, T. A. Germogenova, A. A. Korbut, I. I. Volkov, A. A. Sapozhenko, V. L. Popov, V. V. Rumyantsev, A. L. Onishchik, A. I. Loginov, V. S. Shul’man, V. V. Gorbatsevich, I. O. Sarmanov, D. V. Anosov, V. E. Govorov, L. N. Shevrin, N. N. Vil’yams, N. N. Vorob’ev, V. V. Fedorov, Yu. P. Ivanilov, V. V. Okhrimenko, A. M. Yaglom, I. A. Ibragimov, V. D. Kukin, I. B. Vapnyarskiĭ, L. A. Sidorov, V. V. Sazonov, A. P. Terekhin, R. A. Minlos, A. I. Galochkin, G. M. Vaĭnikko, P. S. Modenov, V. I. Nechaev, Yu. A. Brychkov, A. P. Prudnikov, I. P. Mysovskikh, P. I. Lizorkin, R. L. Dobrushin, V. V. Prelov, B. A. Pasynkov, M. I. Voĭtsekhovskiĭ, B. I. Golubov, V. B. Korotkov, E. M. Chirka, D. A. Ponomarev, A. G. Dragalin, G. I. Marchuk, Yu. E. Alenitsyn, Yu. M. Davydov, L. E. Evtushik, N. S. Bakhvalov, Ü. Lumiste, V. I. Berdyshev, I. Kh. Sabitov, P. L. Ul’yanov, V. G. Sprindzhuk, A. Kaneko, N. Kh. Rozov, V. V. Pospelov, V. A. Chuyanov, Yu. B. Rudyak, Yu. A. Kuznetsov, S. K. Sobolev, E. S. Nikolaev, V. A. Iskovskikh, A. A. Talalyan, A. T. Fomenko, A. S. Kholevo, E. B. Yanovskaya, Yu. V. Rakitskiĭ, E. G. Goluzina, E. G. D’yakonov, Yu. N. Subbotin, V. A. Zalgaller, E. I. Kovalevskaya, V. N. Remeslennikov, A. M. Nakhushev, V. P. Mikhaĭlov, O. A. Ivanova, B. V. Khvedelidze, A. M. Nakushev, Yu. D. Burago, N. I. Klimov, V. V. Afanas’ev, D. M. Smirnov, V. N. Grishin, A. D. Taĭmanov, M. A. Taĭtslin, A. A. Panchishkin, A. N. Parshin, K. A. Zhevlakov, L. A. Skornyakov, L. V. Kuz’min, A. V. Mikhalev, G. V. Kuz’mina, Yu. A. Kaz’min, Encyclopaedia of Mathematics, 1995, 723
Daniel A. Spielman, 1279, Fundamentals of Computation Theory, 1997, 67
Robert Endre Tarjan, “Complexity of Combinatorial Algorithms”, SIAM Rev., 20, no. 3, 1978, 457