@article{VNGU_2008_8_1_a1,
author = {S. S. Goncharov and B. N. Drobotun},
title = {About the {Role} of the {Mathematical} {Logic} in {Education}},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {15--25},
year = {2008},
volume = {8},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2008_8_1_a1/}
}
S. S. Goncharov; B. N. Drobotun. About the Role of the Mathematical Logic in Education. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 8 (2008) no. 1, pp. 15-25. http://geodesic.mathdoc.fr/item/VNGU_2008_8_1_a1/
[1] Bulos Dzh., Dzheffri R., Vychislimost i logika, Mir, M., 1994
[2] Goncharov S. S., Matematicheskaya logika, v. 1, NGU, Novosibirsk, 2007
[3] Goncharov S. S., Schetnye bulevy algebry i razreshimost, Nauchnaya kniga, Novosibirsk, 1996
[4] Goncharov S. S., Ershov Yu. L., Konstruktivnye modeli, Nauchnaya kniga, Novosibirsk, 1999
[5] Ershov Yu. L., Opredelimost i vychislimost, Nauchnaya kniga, Novosibirsk, 1966
[6] Ershov Yu. L., Problemy razreshimosti i konstruktivnye modeli, Nauka, M., 1980
[7] Ershov Yu. L., Palyutin E. A., Matematicheskaya logika, Nauka, M., 1979
[8] Katlend N., Vychislimost. Vvedenie v teoriyu rekursivnykh funktsii, Mir, M., 1983
[9] Keisler G., Chen Ch. Ch., Teoriya modelei, Mir, M., 1977
[10] Klini S., Vvedenie v metamatematiku, Izd-vo inostr. lit., M., 1957
[11] Klini S., Matematicheskaya logika, Mir, M., 1973
[12] Kuznetsov N. A., Kulba V. V., Mikrin E. A. i dr., Informatsionnaya bezopasnost sistem organizatsionnogo upravleniya. Teoreticheskie osnovy, V 2 t., v. 1, Nauka, M., 2006
[13] Kuratovskii K., Mostovskii A., Teoriya mnozhestv, Mir, M., 1970
[14] Lavrov I. A., Matematicheskaya logika, Akademiya, M., 2006
[15] Lavrov I. A., Maksimova L. L., Zadachi po teorii mnozhestv matematicheskoi logiki i teorii algoritmov, Fizmatlit, M., 2001
[16] Maltsev A. I., Algebraicheskie sistemy, Nauka, M., 1970
[17] Maltsev A. I., Algoritmy i rekursivnye funktsii, Nauka, M., 1986
[18] Mendelson E., Vvedenie v matematicheskuyu logiku, Nauka, M., 1971
[19] Novikov P. S., Elementy matematicheskoi logiki, Nauka, M., 1973
[20] Robinson A., Vvedenie v teoriyu modelei i metamatematiku algebry, Nauka, M., 1967
[21] Rodzhers Kh., Teoriya rekursivnykh funktsii i vychislimost, Mir, M., 1972
[22] Soar R., Vychislimo perechislimye mnozhestva i stepeni, Kazanskoe mat. obsch-vo, Kazan, 2000
[23] Dzh. Barvais (red.), Spravochnaya kniga po matematicheskoi logike, v. 1–4, Nauka, M., 1982
[24] Cherch A., Vvedenie v matematicheskuyu logiku, Izd-vo inostr. lit., M., 1960
[25] Shenfild Dzh., Matematicheskaya logika, Nauka, M., 1975 | MR
[26] Chiswell I., Hodges W., Mathematical Logic, Oxford Texts in Logic, Oxford Univ. Press, Oxford, 2007 | MR | Zbl
[27] Gabbay D. M., Goncharov S. S., Zakharyashev M., Mathematical Problems from Applied Logic, v. I, New Logic for the XXI-st Century, Springer, N.-Y.–Boston–Dordrecht–London–M., 2005
[28] Gabbay D. M., Goncharov S. S., Zakharyaschev M., Mathematical Problems from Applied Logic, v. II, International Mathematical Series, 5, Springer, 2007 | DOI | MR
[29] Yu. Ershov, S. Goncharov, A. Nerode, J. Remmel (eds.), ass. ed. V. Marek, Handbook of Recursive Mathematics, v. 1–2, Studies in Logic and the Foundation of Mathematics, Elsever, Amsterdam–Lausanne–N. Y.–Oxford–Shanon–Singapore–Tokio, 1998
[30] Huth M., Ryan M., Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge Univ. Press, Cambridge, 2000 | MR | Zbl
[31] Kozen Dexter C., Automata and Computability, Undergraduate Texts in Computer Science, Springer–Verlag, N.Y., 1997 | MR
[32] Lewis Harry R., Papadimitriou Christos H., Elements of the Theory of Computation, Prentice-Hall, Upper Saddle River, New Jersey, 1998
[33] Monk J. Donald, Mathematical Logic, Graduate Texts in Mathematics, 1976 | MR