Intuitionistic computability logic I

Giorgi Japaridze Intuitionistic computability logic I http://arxiv.org/abs/cs.LO/0411008 2004 CoRR cs.LO/0411008 db/journals/corr/corr0411.html#cs-LO-0411008 informal publication