The Consistency Of A Variant Of Church's Thesis With An Axiomatic Theory Of An Epistemic Notion.
Revista colombiana de matematicas (1985)
- Volume: 19, page 177-200
- ISSN: 0034-7426
Access Full Article
topHow to cite
topReinhardt, W.N.. "The Consistency Of A Variant Of Church's Thesis With An Axiomatic Theory Of An Epistemic Notion.." Revista colombiana de matematicas 19 (1985): 177-200. <http://eudml.org/doc/181755>.
@article{Reinhardt1985,
author = {Reinhardt, W.N.},
journal = {Revista colombiana de matematicas},
keywords = {consistency of a variant of Church's thesis; modal operator; intuitive provability},
pages = {177-200},
title = {The Consistency Of A Variant Of Church's Thesis With An Axiomatic Theory Of An Epistemic Notion.},
url = {http://eudml.org/doc/181755},
volume = {19},
year = {1985},
}
TY - JOUR
AU - Reinhardt, W.N.
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
VL - 19
SP - 177
EP - 200
KW - consistency of a variant of Church's thesis; modal operator; intuitive provability
UR - http://eudml.org/doc/181755
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.