Annals of Pure and Applied Logic, Volume 52

Volume 52, Numbers 1-2, 15 April 1991

Papers presented at the International Symposium on Mathematical Logic and its Applications Nagoya, Japan, November 7-11, 1988

Volume 52, Number 3, 24 June 1991

a service of Schloss Dagstuhl - Leibniz Center for Informatics