A simplification of combinatory Logic. - Nicolas D. Goodman (J. Symb. Log., 1972)

The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions. - Nicolas D. Goodman (J. Symb. Log., 1973)

The Theory of the Godel Functionals. - Nicolas D. Goodman (J. Symb. Log., 1976)

Relativized Realizability in Intuitionistic Arithmetic of All Finite Types. - Nicolas D. Goodman (J. Symb. Log., 1978)

The Nonconstructive Content of Sentences of Arithmetic. - Nicolas D. Goodman (J. Symb. Log., 1978)

The Logic of Contradiction. - Nicolas D. Goodman (Math. Log. Q., 1981)

Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic. - Nicolas D. Goodman (J. Symb. Log., 1984)

Replacement and Collection in Intuitionistic Set Theory. - Nicolas D. Goodman (J. Symb. Log., 1985)

Replacement and Collection: A Correction. - Nicolas D. Goodman (J. Symb. Log., 1986)

Flagg Realizability in Arithmetic. - Nicolas D. Goodman (J. Symb. Log., 1986)

Intensions, Church's thesis, and the formalization of mathematics. - Nicolas D. Goodman (Notre Dame J. Formal Log., 1987)

Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. - Nicolas D. Goodman; Harold T. Hodes; Carl G. Jockusch Jr.; Kenneth McAloon (J. Symb. Log., 1988)

Topological Models of Epistemic Set Theory. - Nicolas D. Goodman (Ann. Pure Appl. Log., 1990)

Mathematics and Natural Science. - Nicolas D. Goodman (J. Symb. Log., 1990)

Book reviews. - Nicolas D. Goodman; Stephen W. Smoliar; Morton L. Schagrin (Minds Mach., 1991)