Nicolas D. Goodman

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
1991 J jnl
Book reviews.
Minds Mach.
Nicolas D. Goodman, Stephen W. Smoliar, Morton L. Schagrin
1990 J jnl
Mathematics and Natural Science.
J. Symb. Log.
Nicolas D. Goodman
1990 J jnl
Topological Models of Epistemic Set Theory.
Ann. Pure Appl. Log.
Nicolas D. Goodman
1988 J jnl
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987.
J. Symb. Log.
Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon
1987 J jnl
Intensions, Church's thesis, and the formalization of mathematics.
Notre Dame J. Formal Log.
Nicolas D. Goodman
1986 J jnl
Flagg Realizability in Arithmetic.
J. Symb. Log.
Nicolas D. Goodman
1986 J jnl
Replacement and Collection: A Correction.
J. Symb. Log.
Nicolas D. Goodman
1985 J jnl
Replacement and Collection in Intuitionistic Set Theory.
J. Symb. Log.
Nicolas D. Goodman
1984 J jnl
Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic.
J. Symb. Log.
Nicolas D. Goodman
1981 J jnl
The Logic of Contradiction.
Math. Log. Q.
Nicolas D. Goodman
1978 J jnl
Relativized Realizability in Intuitionistic Arithmetic of All Finite Types.
J. Symb. Log.
Nicolas D. Goodman
1978 J jnl
The Nonconstructive Content of Sentences of Arithmetic.
J. Symb. Log.
Nicolas D. Goodman
1976 J jnl
The Theory of the Godel Functionals.
J. Symb. Log.
Nicolas D. Goodman
1973 J jnl
The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions.
J. Symb. Log.
Nicolas D. Goodman
1972 J jnl
A simplification of combinatory Logic.
J. Symb. Log.
Nicolas D. Goodman