TY  - JOUR
AU  - A. V. Chernov
TI  - Finite problems and the logic of the weak law of excluded middle
JO  - Matematičeskie zametki
PY  - 2005
SP  - 291
EP  - 302
VL  - 77
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2005_77_2_a9/
LA  - ru
ID  - MZM_2005_77_2_a9
ER  -