Finitely generated free tetravalent modal algebras

From MaRDI portal
Publication:1056747