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