TY  - RPRT
TI  - Sort logic and foundations of mathematics
AU  - Jouko Väänänen
PY  - 2023
DO  - 10.1142/9789814571043_0005
UR  - https://arxiv.org/abs/2302.05947
ID  - 2302.05947
ER  -