The Work Many concepts and two logics of algorithmic reduction The details The Author Giorgi Japaridze The offers