Pages that link to "Natural deduction"
The following pages link to Natural deduction:
Displaying 18 items.
- Deduction (← links | edit)
- First-order logic (← links | edit)
- Gödel's completeness theorem (← links | edit)
- Propositional calculus (← links | edit)
- Lambda calculus (← links | edit)
- Mathematical logic (← links | edit)
- Proof by contradiction (← links | edit)
- Type theory (← links | edit)
- Gerhard Gentzen (← links | edit)
- Planner (programming language) (← links | edit)
- History of logic (← links | edit)
- Deductive reasoning (← links | edit)
- Curry's paradox (← links | edit)
- Intuition (← links | edit)
- The Poisoned Chocolates Case (← links | edit)
- Negation (← links | edit)
- Hoare logic (← links | edit)
- Proof theory (← links | edit)