Consistency proof without transfinite induction for a formal system for turing machines.
Caporaso, Salvatore
Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), p. 157-164 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1978-01-01
EUDML-ID : urn:eudml:doc:137953 
@article{GDZPPN002045028,
     title = {Consistency proof without transfinite induction for a formal system for turing machines.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {19},
     year = {1978},
     pages = {157-164},
     zbl = {0406.03070},
     url = {http://dml.mathdoc.fr/item/GDZPPN002045028}
}

Caporaso, Salvatore. Consistency proof without transfinite induction for a formal system for turing machines.. Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978) pp. 157-164. http://gdmltest.u-ga.fr/item/GDZPPN002045028/