TY  - RPRT
TI  - The taming of recurrences in computability logic through cirquent calculus, Part I
AU  - Giorgi Japaridze
PY  - 2012
DO  - 10.1007/s00153-012-0313-8
UR  - https://arxiv.org/abs/1105.3853
ID  - 1105.3853
ER  -