The Work The logic of interactive Turing reduction The details The Author Giorgi Japaridze The offers