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