TY  - RPRT
TI  - First-Order Intuitionistic Logic with Decidable Propositional Atoms
AU  - Alexander Sakharov
PY  - 2005
UR  - https://arxiv.org/abs/math/0409070
ID  - math/0409070
ER  -