Pages that link to "Higher-order logic"
The following pages link to Higher-order logic:
Displaying 25 items.
- Automated theorem proving (← links | edit)
- Functional programming (← links | edit)
- First-order logic (← links | edit)
- Gödel's ontological proof (← links | edit)
- Higher-order predicate (redirect page) (← links | edit)
- Hol (← links | edit)
- Logic programming (← links | edit)
- Propositional calculus (← links | edit)
- Mathematical logic (← links | edit)
- Model theory (← links | edit)
- Prolog (← links | edit)
- Semantics (← links | edit)
- Willard Van Orman Quine (← links | edit)
- Type theory (← links | edit)
- Russell's paradox (← links | edit)
- Philosophy of mathematics (← links | edit)
- Alonzo Church (← links | edit)
- Natural deduction (← links | edit)
- Axiom schema of specification (← links | edit)
- Classical logic (← links | edit)
- CycL (← links | edit)
- Truth value (← links | edit)
- Isabelle (proof assistant) (← links | edit)
- HOL (proof assistant) (← links | edit)
- Foundations of mathematics (← links | edit)