A. Bezboruah

Bibliography

Bezboruah, A. and Shepherdson, John C. 1976. “Gödel’s Second Incompleteness Theorem for Q.” The Journal of Symbolic Logic 41: 503–512.