@misc{indiciae60598377f1e2,
  title = {The Informal Logic of Mathematical Proof},
  author = {Andrew Aberdein},
  year = {2003},
  doi = {10.1007/1-4020-5034-8\_8},
  url = {https://arxiv.org/abs/math/0306298},
  note = {Source identifier: math/0306298}
}