Kohlenbach U. Higher Order Reverse Mathematics. BRICS [Internet]. 19. juni 2000 [henvist 5. december 2025];7(49). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20216