Pages that link to "First-order logic"
The following pages link to First-order logic:
Displaying 11 items.
- Formal methods (← links | edit)
- Isabelle (proof assistant) (← links | edit)
- ACL2 (← links | edit)
- Formula (← links | edit)
- Phi (← links | edit)
- Intuitionistic logic (← links | edit)
- Foundations of mathematics (← links | edit)
- Rete algorithm (← links | edit)
- List of unsolved problems in mathematics (← links | edit)
- Description logic (← links | edit)
- Metamathematics (← links | edit)