Authors: Colson, L Grigorieff, S

Citation: L. Colson et S. Grigorieff, Syntactical truth predicates for second order arithmetic, J SYMB LOG, 66(1), 2001, pp. 225-256

Authors: Cegielski, P Grigorieff, S Richard, D

Citation: P. Cegielski et al., The elementary theory of the Cantor pairing function is decidable, CR AC S I, 331(2), 2000, pp. 107-110