TY  - RPRT
TI  - Consistent ultrafinitist logic
AU  - Michał J. Gajda
PY  - 2024
DO  - 10.4230/lipics.types.2023.5
UR  - https://arxiv.org/abs/2106.13309
ID  - 2106.13309
ER  -