The phenomenology of mathematical proof
scientific article; zbMATH DE number 1320635