@misc{indiciae623f8685d17c,
  title = {Admissible Tools in the Kitchen of Intuitionistic Logic},
  author = {Andrea Condoluci and Matteo Manighetti},
  year = {2018},
  doi = {10.4204/eptcs.281.2},
  url = {https://arxiv.org/abs/1810.07372},
  note = {Source identifier: 1810.07372}
}