Annals of Pure and Applied Logic

113	--	126	Henryk Kotlarski, Bozena Piekart, Andreas Weiermann. More on lower bounds for partitioning alpha-large sets
127	--	179	L. Méhats, Sergei Soloviev. Coherence in smccs and equivalences on derivations in imll with unit

1	--	22	Manuela Busaniche, Daniele Mundici. Geometry of Robinson consistency in Lukasiewicz logic
23	--	47	Matthias Baaz, Norbert Preining, Richard Zach. First-order Gödel logics
48	--	70	Gyesik Lee. A comparison of well-known ordinal notation systems for epsilon::0::
71	--	83	Wei Wang, Decheng Ding. On definable filters in computably enumerable degrees
84	--	100	Guram Bezhanishvili, Silvio Ghilardi. An algebraic approach to subframe logics. Intuitionistic case
101	--	112	Andreas Fischer. O-minimal Lambda:::m:::-regular stratification

External Links