of implication and type free theories of partial classifications with approximation operator, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 38 (1992)

by A Cantini, Levels
Venue:max{c1, c2, c3}. 29