Pages that link to "Item:Q1158407"
From MaRDI portal
The following pages link to A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic (Q1158407):
Displaying 4 items.