Systems classically axiomatized and properly contained in Lewi's S 3

From MaRDI portal
Publication:2529082