TY  - RPRT
TI  - Propositional computability logic I
AU  - Giorgi Japaridze
PY  - 2004
DO  - 10.1145/1131313.1131318
UR  - https://arxiv.org/abs/cs/0404023
ID  - cs/0404023
ER  -