The following pages link to Inductive definition:
Displayed 13 items.
- First-order logic (← links | edit)
- Logic programming (← links | edit)
- Lambda calculus (← links | edit)
- Mathematical logic (← links | edit)
- Star height problem (← links | edit)
- Surreal number (← links | edit)
- Operational semantics (← links | edit)
- Well-formed formula (← links | edit)
- Index of philosophy articles (I–Q) (← links | edit)
- Von Neumann–Bernays–Gödel set theory (← links | edit)
- Semantic theory of truth (← links | edit)
- T-schema (← links | edit)
- Propositional formula (← links | edit)