A constructive version of the extremum value theorem for spaces of vector-valued functions

Pavel Osinenko, Stefan Streif. A constructive version of the extremum value theorem for spaces of vector-valued functions. J. Logic & Analysis, 10, 2018. [doi]

Abstract

Abstract is missing.