@misc{indiciae9ff4bfe6f8d5,
  title = {Logic in Mathematics and Computer Science},
  author = {Richard Zach},
  year = {2024},
  url = {https://arxiv.org/abs/2404.09033},
  note = {Source identifier: 2404.09033}
}