TY  - RPRT
TI  - Passages of Proof
AU  - Cristian S. Calude
AU  - Elena Calude
AU  - Solomon Marcus
PY  - 2004
UR  - https://arxiv.org/abs/math/0305213
ID  - math/0305213
ER  -