TY - JOUR AU - A. Ya. Dikovsky TI - Рецензия на книгу А. В. Гладкого “Математическая логика” JO - Matematičeskoe obrazovanie PY - 2000 SP - 30 EP - 33 IS - 1 UR - http://geodesic.mathdoc.fr/item/MO_2000_1_a3/ LA - ru ID - MO_2000_1_a3 ER -