TY  - RPRT
TI  - On the number of variables in undecidable superintuitionistic propositional calculi
AU  - Grigoriy V. Bokov
PY  - 2015
UR  - https://arxiv.org/abs/1504.03358
ID  - 1504.03358
ER  -