The Work The intuitionistic fragment of computability logic at the propositional level The details The Author Giorgi Japaridze The offers