@misc{indiciae933dc2e6cf74,
  title = {The computational content of classical arithmetic},
  author = {Jeremy Avigad},
  year = {2010},
  url = {https://arxiv.org/abs/0901.2551},
  note = {Source identifier: 0901.2551}
}