Artemov, Sergei N. and
Strassen, Tyko. 1993.
“The Logic of the Gödel Proof Predicate.” in
Computational Logic and Proof Theory, edited by Georg
Gottlob, Alexander
Leitsch, and Daniele
Mundici, pp. 71–82.
Lecture Notes in Computer Science n. 713. Berlin: Springer.