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