TY  - JOUR
AU  - M. V. Stukacheva
TI  - Some remarks about constructive extensions of minimal logic
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2005
SP  - 75
EP  - 88
VL  - 5
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VNGU_2005_5_3_a5/
LA  - ru
ID  - VNGU_2005_5_3_a5
ER  -