Annals of Pure and Applied Logic, Volume 88

Volume 88, Number 1, 15 November 1997

Volume 88, Numbers 2-3, 17 November 1997

Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995
a service of Schloss Dagstuhl - Leibniz Center for Informatics