Kohlenbach U, Oliva PB. Proof Mining: A Systematic Way of Analysing Proofs in Mathematics. BRICS [Internet]. 5. juni 2002 [henvist 6. december 2025];9(31). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21746