《纯粹逻辑与应用逻辑年鉴》第130卷
第130卷，编号1-3，2004年12月
戈登·普洛金 :
前言。 1- 马库斯·弗里克 , 马丁·格罗 
:
重温了一阶逻辑和一元二阶逻辑的复杂性。 3-31 吉勒姆·戈多伊 , Ashish蒂瓦里 , 拉凯什·M·维尔玛 :
多项式时间内某些项重写系统的合流判定。 33-59 斯蒂芬·克鲁泽 :
最小值和通货膨胀定点逻辑的表达式等价。 61-78 奥利维耶·劳亨 :
两极化游戏。 79-123 C.-H.卢克·翁 :
一种确定类阿尔戈尔语言观测等价性的方法。 125-171 马丁·奥托 :
有限过渡系统上的模态和保护特征定理。 173-205 亚历克斯·K·辛普森 :
直觉集理论模型中递归类型的计算充分性。 207-275 迈克尔·索尔提斯 , 史提芬·古克 :
线性代数的证明复杂性。 277-323 理查德·斯塔特曼 :
在lambda上 Y（Y） 微积分。 325-337
