Temple University.;
机译:艾米·诺瑟(Emmy Noether)的第一批伟大数学以及第一阶段逻辑主义,形式主义和直觉主义的顶峰
机译:艾美奖诺瑟(Emmy Noether)的第一批伟大的数学以及第一阶段逻辑主义,形式主义和直觉主义的顶峰
机译:编辑StenLindström,Erik Palmgren,Krister Segerberg和Viggo Stoltenberg-Hanse。逻辑主义,直觉主义和形式主义:它们变成了什么?
机译:论嵌套含义的命题逻辑程序的计算复杂性
机译:考察描述文学的其他命题:对中学课程开发的启示。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:特纳的通用因果逻辑,命题逻辑和逻辑编程