@misc{indiciae5ade08d7ad81,
  title = {Strings from Logic},
  author = {Christof Schmidhuber},
  year = {2000},
  url = {https://arxiv.org/abs/hep-th/0011065},
  note = {Source identifier: hep-th/0011065}
}