turing machines; recursive functionsset theory; automata theory; theorems;
机译:时间粒度理论与一个继任者的单子二阶理论之间的关系
机译:解释一名继承中的一个继承人的Monadic二阶理论
机译:对Monadic Heyting代数的弱暗示
机译:弱单数自然数二阶理论中的复杂性结构
机译:集合论中平方的弱变体与其他组合原理之间的相互作用
机译:伯克霍夫的引力理论和爱因斯坦的弱场理论
机译:两个后继者的弱二阶二阶理论的公理系统