Archive für mathematische Logik und Grundlagenforschung，第23卷
第23卷第1期，1983年12月
马丁·邦德 :
任意高阶有限阶谓词演算。 1-10 迈克尔·冯·里姆沙 :
采埃孚的基础 0 -模型。 11月19日 理查德·斯塔特曼 :
λ -可定义泛函和 βη 转换。 21至26 丹尼尔·蒙迪奇 :
句子逻辑中克雷格插值复杂性的下限。 27-36岁 丹尼尔·蒙迪奇 :
有界量词算术决策过程的自然限制。 37-54 T.B.弗兰纳根 :
关于Shepherdson证明的注记。 55-60 詹姆斯·琼斯 , 约翰·谢泼德森 :
罗宾逊本质不可判定理论的变体 R（右） . 61-64 格哈德·贾格尔 :
费费曼理论的有序证明 T型 0 . 65-77 达格·诺曼 :
连续泛函的R.E.度。 79-98 马丁·邦德 :
一种基于高阶谓词演算的单公理集理论。 99-107 马丁·邦德 :
等式谓词演算中的集合论。 109-113 埃文格洛斯·克拉纳基斯 
:
可定义拉姆齐和可定义埃尔德序数。 115-128 马提亚斯·拉加兹 :
Die Unentscheidbarkeit der einstelligen unedlichwertigen Prädikatenlogik公司。 129-139 马提亚斯·拉加兹 :
Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre公司。 141-146年 阿南德·皮莱 :
关于紧稳定理论的注记。 147-152 安德烈·斯切德罗夫 , 理查德·维斯利 :
马尔可夫原理的弱化。 153-160 约万·诺莫维奇 :
单参数基本递归函数的分类。 161-174 汉斯·克莱恩·勃宁 :
迭代层次的分类。 175-186
