Pages that link to "Item:Q5301856"
From MaRDI portal
The following pages link to The mathematical significance of proof theory (Q5301856):
Displaying 4 items.
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Informal proof, formal proof, formalism (Q2804472) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions (Q6658123) (← links)