TY  - RPRT
TI  - The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs
AU  - Mark van Atten
PY  - 2018
UR  - https://arxiv.org/abs/1805.00404
ID  - 1805.00404
ER  -