@misc{indiciae776cb127d70f, title = {Passages of Proof}, author = {Cristian S. Calude and Elena Calude and Solomon Marcus}, year = {2004}, url = {https://arxiv.org/abs/math/0305213}, note = {Source identifier: math/0305213} }