Note on the signed occurrences of propositional variables

From MaRDI portal
Publication:5084576