A system which can define its own truth
Myhill, John
Fundamenta Mathematicae, Tome 37 (1950), p. 190-192 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1950-01-01
EUDML-ID : urn:eudml:doc:213212 
@article{bwmeta1.element.bwnjournal-article-fmv37i1p14,
     author = {John Myhill},
     title = {A system which can define its own truth},
     journal = {Fundamenta Mathematicae},
     volume = {37},
     year = {1950},
     pages = {190-192},
     zbl = {0041.15002},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv37i1p14}
}

Myhill, John. A system which can define its own truth. Fundamenta Mathematicae, Tome 37 (1950) pp. 190-192. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv37i1p14/