Annals of Pure and Applied Logic, Volume 82

Volume 82, Number 1, November 1996

Volume 82, Number 2, 5 December 1996

Volume 82, Number 3, 15 December 1996

a service of Schloss Dagstuhl - Leibniz Center for Informatics