Cardinality reduction theorem for logics QHC and QH4

From MaRDI portal
Publication:6148010