A. Olszewski, “Some remarks concerning Church’s Thesis and Hilbert’s Axiom”, ZFN, no. 38, pp. 114–126, Jun. 2006.