Pages that link to "Item:Q2352485"
From MaRDI portal
The following pages link to Terminating calculi for propositional Dummett logic with subformula property (Q2352485):
Displayed 1 item.
The following pages link to Terminating calculi for propositional Dummett logic with subformula property (Q2352485):
Displayed 1 item.