"The intuitionistic fragment of computability logic at the propositional level."

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