"Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 (1999) 277-317."

Lawrence S. Moss (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics