Gerhardy, Philipp, and Ulrich Kohlenbach. “General Logical Metatheorems for Functional Analysis”. BRICS Report Series 12, no. 21 (July 11, 2005). Accessed November 27, 2024. https://tidsskrift.dk/brics/article/view/21887.