Recent Progress in Proof Mining in Nonlinear Analysis.

Ulrich Kohlenbach

FLAP · 2017 · 22 citations · 52 references

Concepts

References

52