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