Algorithms for finding matrix models of propositional calculi

From MaRDI portal
Publication:1181707