TY - JOUR AU - V. A. Ganov TI - Inconsistency of Nudel'man's metatheory JO - Algebra i logika PY - 1995 SP - 41 EP - 43 VL - 34 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1995_34_1_a3/ LA - ru ID - AL_1995_34_1_a3 ER -