TY - JOUR AU - В.Я. Герчиу TI - О финитной аппроксимируемости суперинтуиционистких логик JO - Matematičeskie issledovaniâ PY - 1972 SP - 188 EP - 194 VL - 7 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MI_1972__7_1_189131/ LA - ru ID - MI_1972__7_1_189131 ER -