TY - JOUR AU - А.И. Циткин TI - О допустимых правилах интуиционистской логики высказываний JO - Matematičeskij sbornik PY - 1977 SP - 314 EP - 323 VL - 144 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MS_1977__144_2_a10/ LA - ru ID - MS_1977__144_2_a10 ER -