《纯粹逻辑与应用逻辑年鉴》第41卷
第41卷第1期,1989年1月10日
罗德尼·G·唐尼 :
弱真值表度的区间和子格,第一部分:密度。 1-26 科斯塔斯·哈齐基里亚库 , 斯蒂芬·辛普森 :
二阶算术弱子系统中的可数值域。 27-32 安德鲁·M·皮茨 :
一阶直觉逻辑的概念完备性:范畴逻辑的一个应用。 33-81 菲利普·斯考克罗夫特 :
更多关于Brouwer的反驳。 83-91
1989年2月6日第41卷第2期
亚瑟·W·阿普特 , 卡洛斯·迪普里斯科 , 詹姆斯·汉勒 , 威廉·S·茨威克 :
过滤空间:走向大基数和嵌入公理的统一理论。 93-106 理查德·贝格尔 , 威廉·加萨奇 , 詹姆斯·欧文斯 :
非确定性有界查询可减少性。 107-118 罗德尼·G·唐尼 , 西奥多·A·斯拉曼 :
完全有丝分裂。 119-152 扬·克拉切克 :
关于证明中的步骤数。 153-178 阿诺德·米勒 :
无限组合和可定义性。 179-203