TY  - RPRT
TI  - The taming of recurrences in computability logic through cirquent calculus, Part II
AU  - Giorgi Japaridze
PY  - 2011
DO  - 10.1007/s00153-012-0314-7
UR  - https://arxiv.org/abs/1106.3705
ID  - 1106.3705
ER  -