Pages that link to "Proof theory"
The following pages link to Proof theory:
Displayed 20 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Derivation, logical (← links)
- Sequent calculus (← links)
- Categorical logic (← links)
- Meta-mathematics (← links)
- Gentzen formal system (← links)
- Logico-mathematical calculus (← links)
- Meta-logic (← links)
- D0L-sequence (← links)
- Formalism (← links)
- Consistency (← links)
- Meta-theory (← links)
- Infinity, axiom of (← links)
- Constructive mathematics (← links)
- Formalization method (← links)
- Axiomatic method (← links)
- Syntax (← links)
- Proof (← links)
- Hilbert problems (← links)
- Mathematical logic (← links)
- Infinite induction (← links)