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