TY  - RPRT
TI  - On the methodology of informal rigour: set theory, semantics, and intuitionism
AU  - Walter Dean
AU  - Hidenori Kurokawa
PY  - 2021
UR  - https://arxiv.org/abs/2104.14887
ID  - 2104.14887
ER  -