Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül

From MaRDI portal
Publication:5822057