TY - JOUR AU - G. E. Mints TI - Permissible and derivable rules JO - Zapiski Nauchnykh Seminarov POMI PY - 1968 SP - 189 EP - 191 VL - 8 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a19/ LA - ru ID - ZNSL_1968_8_a19 ER -