"Introduction to computability logic."

Giorgi Japaridze (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics