Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis

Nicholas Pischke