The general solution of multiple implication.

From MaRDI portal
Publication:1448552