Acceptable gaps in mathematical proofs

2020

Line Edslev Andersen

Synthese 197 (1)