Conference | Speakers | Profile
Acceptable gaps in mathematical proofs
2020
Line Edslev Andersen
Synthese 197/1
