Japaridze, G. 2007. Intuitionistic computability logic. Acta Cybernetica. 18, 1 (Jan. 2007), 77-113.