MR2642827 (2011h:68021) Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Gödel's system T revisited. Theoret. Comput. Sci. 411 (2010), no. 11-13, 1484–1500. (Reviewer: Luca Roversi), 68N18 (03B15 03B40)