Studia Logica, Volume 80

Volume 80, Number 1, June 2005

Volume 80, Number 2-3, August 2005

a service of Schloss Dagstuhl - Leibniz Center for Informatics