"Problems of Substitution and Admissibility in the Modal System Grz and in ..."

Vladimir V. Rybakov (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics