TY  - RPRT
TI  - Nonstandard proof methods in toposes
AU  - José Siqueira
PY  - 2023
UR  - https://arxiv.org/abs/2308.16030
ID  - 2308.16030
ER  -