Geodesic
The Consistency Of A Variant Of Church's Thesis With An Axiomatic Theory Of An Epistemic Notion.
Revista colombiana de matematicas, Tome 19 (1985), pp. 177-200.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : consistency of a variant of Church's thesis, modal operator, intuitive provability 
@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/}
}
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  - 
%0 Journal Article
%A W.N. Reinhardt
%T The Consistency Of A Variant Of Church's Thesis With An Axiomatic Theory Of An Epistemic Notion.
%J Revista colombiana de matematicas
%D 1985
%P 177-200
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1985__19_181755/
%F RCM_1985__19_181755
W.N. Reinhardt. The Consistency Of A Variant Of Church's Thesis With An Axiomatic Theory Of An Epistemic Notion.. Revista colombiana de matematicas, Tome 19 (1985), pp. 177-200. http://geodesic.mathdoc.fr/item/RCM_1985__19_181755/