Pages that link to "Item:Q5740664"
From MaRDI portal
The following pages link to Generalized geometric theories and set-generated classes (Q5740664):
Displayed 4 items.
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)