The Journal of Symbolic Logic, Volume 45

Volume 45, Number 1, March 1980

Volume 45, Number 2, June 1980

Volume 45, Number 3, September 1980

a service of Schloss Dagstuhl - Leibniz Center for Informatics