TY  - RPRT
TI  - On the computational properties of basic mathematical notions
AU  - Dag Normann
AU  - Sam Sanders
PY  - 2024
DO  - 10.1093/logcom/exac075
UR  - https://arxiv.org/abs/2203.05250
ID  - 2203.05250
ER  -