Nigel Cutland, Computability, 1980
S. P. Strunkov, A. N. Parshin, V. G. Sprindzhuk, I. V. Dolgachev, Yu. M. Gorchakov, A. V. Malyshev, E. A. Rakhmanov, A. F. Lavrik, N. Kh. Rozov, E. D. Solomentsev, A. I. Shtern, M. V. Fedoryuk, G. D. Kim, Yu. A. Brychkov, A. P. Prudnikov, V. M. Babich, A. V. Gulin, M. S. Nikulin, D. D. Sokolov, V. L. Popov, A. V. Arkhangelskiĭ, Ü. Lumiste, D. V. Alekseevskiĭ, V. E. Kotov, L. P. Kuptsov, V. A. Il’in, Yu. S. Bogdanov, D. F. Davidenko, E. G. Goluzina, A. A. Korbut, V. I. Popov, V. M. Starzhinskiĭ, Sh. A. Alimov, A. V. Proknorov, L. D. Kudryavtsev, A. V. Prokhorov, V. V. Afanas’ev, Kh. D. Ikramov, V. E. Plisko, V. M. Kopytov, L. A. Skornyakov, Yu. M. Davydov, L. A. Sidorov, P. S. Modenov, A. S. Parkhomenko, V. I. Nechaev, S. A. Bogatyĭ, P. P. Kol’tsov, V. G. Krechet, G. E. Mints, M. I. Voĭtsekhovskiĭ, A. A. Bukhshtab, V. G. Karmanov, Yu. S. Il’yashenko, L. V. Kuz’min, A. V. Arkhangel’skiĭ, V. V. Sazonov, S. A. Stepanov, V. A. Zalgaller, A. I. Ovseevich, V. M. Millionshchikov, L. N. Shevrin, I. G. Zhurbenko, E. G. Sklyarenko, V. E. Tarakanov, V. M. Mikheev, L. A. Kaluzhnin, D. A. Supruneko, R. A. Minlos, B. V. Khvedelidze, U. A. Suprunenko, T. P. Lukashenko, L. E. Reĭzin’, N. N. Bogolyubov, A. L. Onishchik, A. B. Ivanov, V. I. Sobolev, I. A. Kvasnikov, V. I. Latyshev, V. I. Danilov, V. V. Shokurov, A. V. Chernavskiĭ, B. I. Golubov, Yu. G. Zarkhin, P. I. Lizorkin, J. van de Craats, V. S. Lenskiĭ, I. Kh. Sabitov, A. T. Fomenko, L. A. Korneva, D. V. Anosov, Vik. S. Kulikov, V. V. Rumyantsev, Yu. B. Rudyak, A. P. Soldatov, E. G. D’yakonov, B. A. Sevast’yanov, I. I. Volkov, V. I. Lomonosov, V. S. Shul’man, V. S. Kulikov, A. L. Shmel’kin, Yu. I. Merzlyakov, S. V. Matveev, E. B. Vinberg, A. I. Markushevich, N. P. Korneĭchuk, V. P. Motornyĭ, A. F. Kharshiladze, M. A. Shtan’ko, A. B. Kurzhanskiĭ, N. K. Nikol’skiĭ, B. S. Pavlov, S. N. Malygin, M. M. Postnikov, P. S. Aleksandrov, E. P. Dolzhenko, A. A. Konyushkov, N. N. Vorob’ev, A. N. Lyapunov, V. S. Schul’man, S. K. Sobolev, B. V. Kudryavtsev, S. Yu. Maslov, G. Rozenberg, A. Salomaa, S. I. Adyan, E. V. Solomentsev, A. I. Prilenko, V. I. Fabrikant, T. S. Fofanova, A. I. Kokorin, A. G. Dragalin, V. N. Grishin, A. N. Shiryaev, E. M. Chirka, V. T. Markov, O. A. Ivanova, K. A. Zhevlakov, B. M. Bredikhin, S. N. Artemov, N. G. Chudakov, E. V. Shikin, A. R. Shchekut’ev, V. E. Voskresenskiĭ, V. N. Remeslennikov, L. A. Bokut’, A. A. Dezin, D. M. Smirnov, F. I. Ereshko, V. V. Fedorov, V. A. Dushskiĭ, V. P. Palamodov, A. N. Kolmogorov, Yu. V. Prokhorov, V. V. Petrov, V. V. Yurinskiĭ, A. P. Ershov, L. N. Bol’shev, S. G. Kreĭn, M. Sh. Tsalenko, V. N. Kas’yanov, E. V. Levner, G. M. Vaĭnikko, V. I. Ponomarev, A. P. Norden, A. P. Shirokov, V. E. Govorov, A. A. Kirillov, A. G. El’kin, V. D. Mazurov, A. S. Kuzichev, A. A. Mal’tsev, V. Z. Polyakov, A. V. Arknangel’skiĭ, M. A. Shubin, L. A. Petrosyan, Encyclopaedia of Mathematics, 1995, 307
Jan A. Bergstra, John V. Tucker, 13560, A Journey from Process Algebra via Timed Automata to Model Learning, 2022, 63
László Babai, First European Congress of Mathematics, 1994, 31
Mathematical Logic, 2008, 281
L. Virirakis, “GENETICA: A Computer Language That Supports General Formal Expression With Evolving Data Structures”, IEEE Trans. Evol. Computat., 7, no. 5, 2003, 456
Solomon Feferman, S. Feferman, “What does logic have to tell us about mathematical proofs?”, The Mathematical Intelligencer, 2, no. 1, 1979, 20
I. Kalantari, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 515
A. G. El’kin, M. G. M. van Doorn, A. K. Gushchin, L. D. Kudryavtsev, V. V. Rumyantsev, V. I. Sobolev, B. A. Efimov, N. Kh. Rozov, V. T. Bazylev, I. A. Kvasnikov, B. I. Golubov, A. A. Konyushkov, L. N. Eshukov, P. P. Korovkin, A. V. Efimov, A. A. Zakharov, S. M. Vorazhin, Yu. N. Subbotin, A. L. Onishchik, D. P. Kostomarov, N. M. Nagornyĭ, V. E. Plisko, N. M. Khalfina, S. A. Stepanov, M. S. Nikulin, S. I. Adyan, P. S. Soltan, A. V. Zabrodin, L. A. Bokut’, S. Yu. Maslov, G. E. Mints, E. M. Chirka, M. V. Fedoryuk, N. K. Nikol’skiĭ, B. S. Pavlov, A. L. Shmel’kin, A. V. Arkhangel’skiĭ, A. B. Bakushinskiĭ, D. A. Ponomarev, I. V. Dolgachev, A. A. Boyarkin, A. V. Mikhalev, M. I. Voĭtsekhovskiĭ, A. V. Prokhorov, L. E. Reĭzin’, A. M. Il’in, G. N. Dyubin, D. P. Zhelobenko, V. P. Chistyakov, A. V. Khokhlov, V. A. Dushskiĭ, M. Sh. Farber, E. D. Solomentsev, V. D. Kukin, A. A. Mal’tsev, M. A. Shtan’ko, T. P. Lukashenko, Rédigé Par C. Mayer, E. M. Nikishin, B. M. Bredikhin, R. A. Minlos, N. G. Ushakov, V. A. Skvortsov, V. E. Tarakanov, V. I. Danilov, G. P. Tolstov, D. V. Anosov, S. N. Artemov, L. A. Skornyakov, E. V. Shikin, I. V. Proskuryakov, Yu. A. Kuznetsov, A. B. Ivanov, V. I. Ponomarev, A. V. Chernavskiĭ, D. A. Suprunenko, V. I. Nechaev, Yu. I. Merzlyakov, O. A. Ivanova, V. V. Fedorchuk, V. L. Popov, N. A. Karpova, R. A. Prokhorova, M. M. Potapov, V. D. Mazurov, Yu. B. Rudyak, A. V. Gulin, A. A. Samarskiĭ, N. S. Bakhvalov, L. A. Oganesyan, Yu. M. Davydov, V. E. Tarankanov, A. B. Vasil’eva, E. V. Pankrat’ev, R. L. Dobrushin, V. V. Prelov, A. A. Dezin, E. F. Mishchenko, A. V. Bitsadze, I. N. Vekua, A. M. Nakhushev, I. A. Shishmarev, E. I. Moiseev, V. D. Kupradze, F. P. Vasil’ev, N. N. Kuznetsov, B. L. Rozhdestvenskiĭ, I. P. Makarov, S. S. Gaĭsaryan, A. D. Myshkis, M. S. Nikol’skiĭ, A. I. Subbotin, Ü. Lumiste, A. V. Pogorelov, D. V. Alekseevskiĭ, A. F. Filippov, V. I. Shulikovskiĭ, A. I. Shtern, S. P. Novikov, V. A. Morozov, O. G. Smolyanov, V. M. Tikhomirov, V. M. Babich, V. A. Chuyanov, L. I. Kamynin, Yu. A. Rozanov, V. A. Iskovskikh, B. A. Pasynkov, P. S. Aleksandrov, L. I. Sedov, D. D. Sokolov, V. G. Sprindzhuk, S. M. Voronin, Yu. V. Matiyasevich, A. N. Parshin, V. G. Krechet, M. Sh. Tsalenko, A. I. Loginov, A. F. Lavrik, L. N. Bol’shev, A. Yanushauskas, A. F. Leont’ev, E. A. Bredikhina, I. B. Vapnyarskiĭ, V. M. Solodov, V. B. Kudryavtsev, E. B. Vinberg, A. P. Terekhin, Yu. I. Zhuravlev, G. A. Sardanashvili, S. M. Sirota, E. G. D’yakonov, E. N. Kuz’min, N. M. Mitrofanova, A. P. Khusu, S. K. Sobolev, V. N. Tutubalin, V. S. Vladimirov, V. A. Dorodnitsyn, I. S. Iokhvidov, K. S. Swirskiĭ, E. G. Goluzina, Yu. V. Prokhorov, V. V. Sazonov, V. D. Belousov, D. M. Smirnov, L. P. Kuptsov, I. I. Volkov, L. V. Kuz’min, M. Shirinbekov, V. N. Grishin, I. N. Vrublevskaya, M. M. Popov, F. A. Kabakov, A. F. Shapkin, V. K. Domanskiĭ, G. S. Chogoshvili, V. P. Palamodov, A. I. Markusevich, S. Ya. Khavinson, A. I. Kostrikin, A. S. Parkhomenko, M. I. Voĭsekhovskiĭ, T. S. Fofanova, W. Glagolev, E. G. Sklyarenko, A. A. Kirillov, K. Bulota, E. B. Yanovskaya, I. Kh. Sabitov, E. G. Sobolevskaya, L. A. Molotkov, S. A. Ashmanov, V. G. Karmanov, E. N. Berezkin, A. V. Lykov, Encyclopaedia of Mathematics, 1995, 79
L. Blum, M. Shub, S. Smale, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, 1988, 387