The Work Toggling operators in computability logic The details The Author Giorgi Japaridze The offers