Annals of Pure and Applied Logic

1	--	73	Qi Feng, Ronald B. Jensen. Supercomplete extenders and type 1 mice: Part I
75	--	101	Alexander Berenstein, Steven Buechler. Simple stable homogeneous expansions of Hilbert spaces
103	--	123	Lev D. Beklemishev. Provability algebras and proof-theoretic ordinals, I
125	--	139	Antonio di Nola, Revaz Grigolia. On monadic ::::MV::::-algebras
141	--	195	Suman Ganguli, Anil Nerode. Effective completeness theorems for modal logic
197	--	213	Gerhard Jäger. An intensional fixed point theory over first order arithmetic
215	--	225	H. Jerome Keisler, Wafik Boulos Lotfallah. Shrinking games and local formulas
227	--	276	Wieslaw Szwast, Lidia Tendera. The guarded fragment with transitive guards
277	--	298	Radim Belohlávek. Concept lattices and order in fuzzy logic
299	--	0	Benjamin Wells. Erratum to Applying, extending, and specializing pseudorecursiveness : [Ann. Pure Appl. Logic 126 (2004) 225-254]

External Links