Introduction to clarithmetic II - Japaridze, Giorgi (Information and computation, 2016)