@misc{indiciaec554e04b670a,
  title = {Languages, Algorithms, Procedures, Calculi, and Metalogic},
  author = {Mark Burgin},
  year = {2007},
  url = {https://arxiv.org/abs/math/0701121},
  note = {Source identifier: math/0701121}
}