Annals of Pure and Applied Logic, Volume 56

Volume 56, Numbers 1-3, 29 April 1992

Special Volume dedicated to the memory of John R. Myhill
a service of Schloss Dagstuhl - Leibniz Center for Informatics