@misc{indiciae9db1a655c338,
  title = {Intensionality, Intensional Recursion, and the Gödel-Löb axiom},
  author = {G. A. Kavvos},
  year = {2020},
  url = {https://arxiv.org/abs/1703.01288},
  note = {Source identifier: 1703.01288}
}