Kohlenbach U. Some Logical Metatheorems with Applications in Functional Analysis. BRICS [Internet]. 6. maj 2003 [henvist 6. december 2025];10(21). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21791