The Work A new face of the branching recurrence of computability logic The details The Author Giorgi Japaridze The offers