Pages that link to "Item:Q2710597"
From MaRDI portal
The following pages link to All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete (Q2710597):
Displayed 1 item.
The following pages link to All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete (Q2710597):
Displayed 1 item.