@misc{indiciae7b32153ae4d7,
  title = {Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories},
  author = {Saeed Salehi and Payam Seraji},
  year = {2016},
  doi = {10.1093/logcom/exw025},
  url = {https://arxiv.org/abs/1506.02790},
  note = {Source identifier: 1506.02790}
}