Towards applied theories based on computability logic

Giorgi Japaridze Towards applied theories based on computability logic http://arxiv.org/abs/0805.3521 2008 CoRR abs/0805.3521 db/journals/corr/corr0805.html#abs-0805-3521 informal publication