@misc{indiciae555176e60c1e,
  title = {Second order intuitionistic propositional logic of the real line is decidable},
  author = {Konrad Zdanowski},
  year = {2016},
  url = {https://arxiv.org/abs/1612.07167},
  note = {Source identifier: 1612.07167}
}