Arbitrary propositional network announcement logic

From MaRDI portal
Publication:2055771