The Work Towards applied theories based on computability logic The details The Author Giorgi Japaridze The offers