Annals of Pure and Applied Logic

1	--	72	Duminda Wijesekera, Anil Nerode. Tableaux for constructive concurrent dynamic logic
73	--	112	Fernando Ferreira, Paulo Oliva. Bounded functional interpretation
113	--	134	Marcus Tressl. The elementary theory of Dedekind cuts in polynomially bounded structures
135	--	150	Kerry Ojakian. Upper and lower Ramsey bounds in bounded arithmetic
151	--	209	Wim Veldman. Two simple sets that are not positively Borel
210	--	242	Claude Sureson. A generalization of von Neumann regularity
243	--	262	Erik Palmgren. Constructive completions of ordered sets, groups and fields
263	--	285	Clare Dixon, Alexander Bolotov, Michael Fisher. Alternating automata and temporal logic normal forms
286	--	302	Piotr Kowalski. Geometric axioms for existentially closed Hasse fields

External Links