Studia Logica, Volume 46

Volume 46, Number 1, March 1987

Volume 46, Number 2, June 1987

Volume 46, Number 3, September 1987

Volume 46, Number 4, December 1987

a service of Schloss Dagstuhl - Leibniz Center for Informatics