@misc{indiciae2d25d32540f9,
  title = {Sort logic and foundations of mathematics},
  author = {Jouko Väänänen},
  year = {2023},
  doi = {10.1142/9789814571043\_0005},
  url = {https://arxiv.org/abs/2302.05947},
  note = {Source identifier: 2302.05947}
}