数学逻辑季刊,第29卷
1983年第29卷第1期
1983年第2期第29卷
路易斯·伊图里奥斯 :
带算子的对称Heyting代数。 33-70 约翰·希克曼 :
代数基本定律的序数版本。 71-74 卡雷尔·赫巴切克 :
分析集的度数。 75-82 克劳斯·贝内克 :
Spezifikation参数表Datentypen。 83-96
1983年第3期第29卷
威廉斯·克莱默·福雷斯特 :
仿射可构造集理论。 97-135 米歇尔·帕里格特 :
阿尔伯雷市现代公司(Le modèLe Compagnon de la THéOrie des arbres)。 137-150 扎尔科·米贾伊洛维奇 , 瓦伦蒂娜·哈里扎诺夫 :
规则关系和量词“有无数”。 151-161 佛朗科·蒙塔格纳 :
Zfc-模型为Kripke-模型。 163-168 汉斯·克莱恩·勃宁 :
Durch syntaktische Rekursion定义为Klassen。 169-175
1983年第29卷第4期
达格·诺曼 :
一般类型——连续函数和可数函数的结构。 177-192 阿兰·亚当森 :
关于两个基数模型的注记。 193-196 威廉·S·哈奇 , 克劳德·拉弗拉姆 :
关于超实线的序结构。 197-202 F.W.峡谷 , A.H.Sahyun先生 :
马尔可夫语言公式的可变换性 我 n个 , L(左) ω 语言与方程意象的国际公式; 2 . 203-206 福特·W·高尔基 , A.H.Sahyoun先生 :
马尔可夫语言公式的互易性 L(左) ω n个 和&equation Image; n个 1 . 207-212 尤尔根·哈克 :
Konstruktive卷筒功能和操作员。 213-218 曼弗雷德·萨博 :
牵连的持续实现。 219-233 马塞尔·克拉贝 :
关于类型简化理论。 235-237 阿尔伯特·胡格维斯 :
二值逻辑中的部分谓词演算。 239-243 C.醇类 , 贝内代托·因特里吉拉 :
红雀队的拜尔类别。 245-252 迈克尔·冯·里姆沙 :
集合论无基础模型的层次结构。 253-288
1983年第5期第29卷
1983年第6期第29卷
查尔斯·扎伊恩茨 :
一元序数理论的公理化<ω 2 . 337-356 卡尔·海因茨·迪纳 :
关于构造无限语言L α β 没有选择公理。 357-376 约翰·琼斯 :
形式化 M(M) -可变函数的值命题演算。 377-378 罗德·唐尼 :
关于a.Retzlaff的一个问题。 379-384
1983年第8期第29卷
托马斯·贝克 :
实闭环和有序估值环。 417-425 迪特马尔·施魏格特 , 马格达莱娜·西曼斯卡 :
相关格的一个完备性定理。 427-434 诺伯特·布伦纳 :
KategoriesäTze und multiples Auswahlaxiom公司。 435-443 菲利普·罗思马勒 :
模块中的固定类型。 445-464
1983年第9期第29卷
1983年第10期第29卷
阿兰·罗斯 :
三值Sheffer函数集的完备性。 481-483 爱德华·格里弗 :
Ad对Kleene递归的一些结果 三 E.公司。 485-492 约阿希姆·兰贝克 , 菲利普·斯科特 :
直觉主义原则的新证明。 493-504 罗伯特·A·G·西利 :
超学说、自然演绎和贝克条件。 505-542 约翰·琼斯 :
蕴涵和迭代蕴涵。 543-556
1983年第29卷第11期
克里斯特·塞格伯格 :
任意真值函数和自然演绎。 557-564 马丁·库尼里奇 :
EineäQuivalente Formalisierung der Logik von Feferman und Aczel公司。 565-568 曼弗雷德·阿姆布鲁斯特 :
等价关系与一元操作。 569-571