@misc{indiciaeca24e7604a0b,
  title = {Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation},
  author = {Richard Moot and Christian Retoré},
  year = {2016},
  url = {https://arxiv.org/abs/1602.07608},
  note = {Source identifier: 1602.07608}
}