《纯粹逻辑与应用逻辑年鉴》第41卷
第41卷第1期,1989年1月10日
罗德尼·G·唐尼 :
弱真值表度的区间和子格,第一部分:密度。 1-26 Kostas Hatzikiriakou公司 , 斯蒂芬·G·辛普森 :
二阶算术弱子系统中的可数值域。 27-32 安德鲁·皮特斯 :
一阶直觉逻辑的概念完备性:范畴逻辑的应用。 33-81 菲利普·斯考克罗夫特 :
更多关于Brouwer的反驳。 83-91
1989年2月6日第41卷第2期
亚瑟·W·阿普特 , 卡洛斯·迪普里斯科 , 詹姆斯·汉勒 , 威廉·S·茨威克 :
过滤空间:走向大基数和嵌入公理的统一理论。 93-106 理查德·拜格尔 , 威廉·加萨奇 , 詹姆斯·欧文斯 :
非确定性有界查询缩减。 107-118 罗德尼·G·唐尼 , 西奥多·斯拉曼 :
完全有丝分裂。 119-152 扬·克拉切克 :
关于证明中的步骤数。 153-178 阿诺德·米勒 :
无限组合和可定义性。 179-203
1989年3月1日第41卷第3期
伊丽莎白·布斯卡伦 :
尺寸顺序特性和模型对。 205-231 西·弗里德曼(Sy D.Friedman) :
最小编码。 233-297
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)