Consistency proof without transfinite induction for a formal system for turing machines. Salvatore Caporaso — 1978 Archiv für mathematische Logik und Grundlagenforschung