The following pages link to (Q3109500):
Displaying 5 items.
- On the relevant systems \(P\) and \(P^*\) and some related systems (Q1068071) (← links)
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. (Q1425262) (← links)
- A SUFFICIENT AND NECESSARY CONDITION FOR TARSKI'S PROPERTY IN LINDENBAUM'S EXTENSIONS (Q3676117) (← links)
- (Q4856241) (← links)
- (Q5201126) (← links)