Godel's Second Incompleteness Theorem for Q. - A. Bezboruah; John C. Shepherdson (J. Symb. Log., 1976)