The following pages link to The substitution method (Q5343336):
Displayed 9 items.
- Gentzen reduction revisited (Q1140640) (← links)
- A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
- Epsilon substitution method for elementary analysis (Q1908821) (← links)
- Ackermann's substitution method (remixed) (Q2503393) (← links)
- Some applications of Gentzens second consistency proof (Q2535674) (← links)
- (Q2776806) (← links)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)
- VON NEUMANN’S CONSISTENCY PROOF (Q5737949) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)