Annals of Pure and Applied Logic

1	--	0	Anil Nerode, Michael A. Taitslin. A Selection of Papers Presented at the Symposium Logic at Tver 92 - Preface
3	--	28	Dmitry A. Archangelsky, Mikhail A. Taitslin. Linear Logic with Fixed Resources
29	--	59	Sergei N. Artëmov. Logic of Proofs
61	--	112	Frank A. Bäuerle, Jeffrey B. Remmel. On Speedable and Levelable Vector Spaces
113	--	160	Robert Harper, Donald Sannella, Andrzej Tarlecki. Structured Theory Presentations and Logic Representations
161	--	182	Vadim Kagan, Anil Nerode, V. S. Subrahmanian. Computing Definite Logic Programs by Partial Instantiation
183	--	212	Max I. Kanovich. Linear Logic as a Logic of Computations
213	--	268	Bakhadyr Khoussainov. Recursive Unary Algebras and Trees
269	--	323	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems
325	--	348	Yuri Matiyasevich. A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations

External Links