Nicolas D. Goodman The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1973, v:38, n:3, pp:453-459 [Journal]

Nicolas D. Goodman Relativized Realizability in Intuitionistic Arithmetic of All Finite Types. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1978, v:43, n:1, pp:23-44 [Journal]

Nicolas D. Goodman Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1984, v:49, n:1, pp:192-203 [Journal]