TY  - RPRT
TI  - Intuition, iteration, induction
AU  - Mark van Atten
PY  - 2015
UR  - https://arxiv.org/abs/1510.01094
ID  - 1510.01094
ER  -