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 \(\omega\)-complete. (Q2710597):
Displaying 2 items.
The following pages link to All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete. (Q2710597):
Displaying 2 items.