Pages that link to "Item:Q911574"
From MaRDI portal
The following pages link to A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics (Q911574):
Displaying 3 items.