可计算性逻辑分支递归运算的新面貌
计算机科学中的逻辑
2012-08-03 v2 逻辑
摘要
本文介绍了可计算性逻辑（参见http://www.cis.upenn.edu/~giorgi/cl.html）分支递归运算的一个大幅简化的新版本，并证明了其与旧的“规范”版本的等价性。
引用
@article{arxiv.1102.1054,
title = {A new face of the branching recurrence of computability logic},
author = {Giorgi Japaridze},
journal= {arXiv preprint arXiv:1102.1054},
year = {2012}
}