TY - JOUR AU - W.N. Reinhardt TI - The Consistency Of A Variant Of Church's Thesis With An Axiomatic Theory Of An Epistemic Notion. JO - Revista colombiana de matematicas PY - 1985 SP - 177 EP - 200 VL - 19 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RCM_1985__19_181755/ ID - RCM_1985__19_181755 ER -