TY - RPRT TI - Many concepts and two logics of algorithmic reduction AU - Giorgi Japaridze PY - 2008 DO - 10.1007/s11225-009-9164-7 UR - https://arxiv.org/abs/0706.0103 ID - 0706.0103 ER -