Related terms
- en predicate logic (n) ➜
- en first order logic ➜
- en formal system ➜
- en member ➜
- en quantification ➜
- en relations ➜
- en universe ➜
- mul mso ➜
- mul so ➜
Word forms
- en second order logics (n) ➜
Derived from
- en second order (a) ➜
Links to other resources
- en.wiktionary.org second-order logic