Pages that link to "Item:Q487231"
From MaRDI portal
The following pages link to Very intuitionistic theories and quantifier elimination (Q487231):
Displaying 5 items.
- Quantifier elimination for a class of intuitionistic theories (Q948760) (← links)
- Elimination problems in logic: a brief history (Q1024114) (← links)
- (Q3509173) (← links)
- Some preservation theorems in an intermediate logic (Q5469105) (← links)
- On elimination of quantifiers in some non-classical mathematical theories (Q6307083) (← links)