@misc{indiciae036d7c679804,
  title = {A logical basis for constructive systems},
  author = {Giorgi Japaridze},
  year = {2011},
  doi = {10.1093/logcom/exr009},
  url = {https://arxiv.org/abs/1003.0425},
  note = {Source identifier: 1003.0425}
}