What does logic have to tell us about mathematical proofs?
scientific article; zbMATH DE number 3663079