@misc{indiciae55f0d8062d76,
  title = {Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logic},
  author = {Karim Nour and Christophe Raffalli},
  year = {2009},
  url = {https://arxiv.org/abs/0905.0758},
  note = {Source identifier: 0905.0758}
}