TY  - RPRT
TI  - From truth to computability II
AU  - Giorgi Japaridze
PY  - 2005
DO  - 10.1016/j.tcs.2007.01.004
UR  - https://arxiv.org/abs/cs/0501031
ID  - cs/0501031
ER  -