搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
1983 马丁·邦德 :
任意高阶有限阶谓词演算。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 1-10 ( 1983 ) 马丁·邦德 :
基于高阶谓词演算的单公理集理论。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 99-107 ( 1983 ) 马丁·邦德 :
具有等式的谓词演算中的集合论。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 109-113 ( 1983 ) 汉斯·克莱恩·布宁 :
迭代层次的分类。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 175-186 ( 1983 ) T.B.弗兰纳根 :
关于Shepherdson证明的注记。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 55-60 ( 1983 ) 格哈德·贾格尔 :
费费曼理论的有序证明 吨 0 . 架构(architecture)。 数学。 日志。 23 ( 1 ) : 65-77 ( 1983 ) 詹姆斯·琼斯 , 约翰·谢泼德森 :
罗宾逊本质不可判定理论的变体 R(右) . 架构(architecture)。 数学。 日志。 23 ( 1 ) : 61-64 ( 1983 ) 埃文格洛斯·克拉纳基斯 :
可定义的拉姆齐和可定义的埃尔德斯序数。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 115-128 ( 1983 ) 丹尼尔·蒙迪奇 :
句子逻辑中克雷格插值复杂性的下限。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 27-36 ( 1983 ) 丹尼尔·蒙迪奇 :
有界量词算术决策过程的自然限制。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 37-54 ( 1983 ) 约万·诺莫维奇 :
单参数基本递归函数的分类。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 161-174 ( 1983 ) 达格·诺曼 :
连续泛函的R.E.度。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 79-98 ( 1983 ) 阿南德·皮莱 :
关于紧稳定理论的注记。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 147-152 ( 1983 ) 马提亚斯·拉加兹 :
Die Unentscheidbarkeit der einstelligen unedlichwertigen Prädikatenlogik公司。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 129-139 ( 1983 ) 马提亚斯·拉加兹 :
尼加拉瓜是一个不受欢迎的国家。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 141-146 ( 1983 ) 迈克尔·冯·里姆沙 :
采埃孚的基础 0 -模型。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 11-19 ( 1983 ) 安德烈·塞德洛夫 , 理查德·维斯利 :
马尔可夫原理的弱化。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 153-160 ( 1983 ) 理查德·斯塔特曼 :
λ -可定义泛函和 βη 转换。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 21-26 ( 1983 )