TY  - JOUR
AU  - М.Ф. Раца
TI  - О функциональной полноте в некоторых логиках, промежуточных между классической и интуиционистской
JO  - Matematičeskie issledovaniâ
PY  - 1970
SP  - 171
EP  - 176
VL  - 5
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MI_1970__5_4_189064/
LA  - ru
ID  - MI_1970__5_4_189064
ER  -