A determination of all possible systems of strict implication.

From MaRDI portal
Publication:5971832