Related terms
- en domain of discourse ➜
- en propositional logic ➜
- en herbrandization (n) ➜
- en monadic second order logic (n) ➜
- en peano arithmetic (n) ➜
- en predicate logic (n) ➜
- en presburger arithmetic (n) ➜
- en second order logic (n) ➜
- en skolemization (n) ➜
- en tautology (n) ➜
- mul fo ➜
Word forms
- en first order logics (n) ➜
Links to other resources
- en.wiktionary.org first-order logic