Equivalent transformations of formulas in \(P_2\). (Q2513087)

From MaRDI portal