Japaridze Giorgi: Intuitionistic computability logic. In: Acta cybernetica, (18) 1. pp. 77-113. (2007)