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