Metric structures on Boolean algebras and an application to propositional logic

From MaRDI portal
Publication:3414596