TY  - RPRT
TI  - The intuitionistic fragment of computability logic at the propositional level
AU  - Giorgi Japaridze
PY  - 2006
DO  - 10.1016/j.apal.2007.05.001
UR  - https://arxiv.org/abs/cs/0602011
ID  - cs/0602011
ER  -