Studia Logica, Volume 56

Volume 56, Number 1/2, January/March 1996

Volume 56, Number 3, May 1996

a service of Schloss Dagstuhl - Leibniz Center for Informatics