The Work The taming of recurrences in computability logic through cirquent calculus, Part II The details The Author Giorgi Japaridze The offers