To download the official journal version of G.Japaridze, "Introduction to Computability Logic", please click here .

Also make sure you click here for the ERRATUM to the paper.

If (and only if) you do not succeed in accessing the journal, you can use the preprint.