@article{RCM_1985__19_181755,
     author = {W.N. Reinhardt},
     title = {The {Consistency} {Of} {A} {Variant} {Of} {Church's} {Thesis} {With} {An} {Axiomatic} {Theory} {Of} {An} {Epistemic} {Notion.}},
     journal = {Revista colombiana de matematicas},
     pages = {177--200},
     publisher = {mathdoc},
     volume = {19},
     year = {1985},
     zbl = {0615.03043},
     url = {http://geodesic.mathdoc.fr/item/RCM_1985__19_181755/}
}