Nicolas D. Goodman

According to our database, Nicolas D. Goodman authored at least 15 papers between 1972 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1991

Book reviews.

Nicolas D. Goodman, Stephen W. Smoliar, Morton L. Schagrin

Minds Mach., 1991

1990

Mathematics and Natural Science.

Nicolas D. Goodman

J. Symb. Log., 1990

Topological Models of Epistemic Set Theory.

Nicolas D. Goodman

Ann. Pure Appl. Log., 1990

1988

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

1987

Intensions, Church's thesis, and the formalization of mathematics.

Nicolas D. Goodman

Notre Dame J. Formal Log., 1987

1986

Flagg Realizability in Arithmetic.

Nicolas D. Goodman

J. Symb. Log., 1986

Replacement and Collection: A Correction.

Nicolas D. Goodman

J. Symb. Log., 1986

1985

Replacement and Collection in Intuitionistic Set Theory.

Nicolas D. Goodman

J. Symb. Log., 1985

1984

Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic.

Nicolas D. Goodman

J. Symb. Log., 1984

1981

The Logic of Contradiction.

Nicolas D. Goodman

Math. Log. Q., 1981

1978

The Nonconstructive Content of Sentences of Arithmetic.

Nicolas D. Goodman

J. Symb. Log., 1978

Relativized Realizability in Intuitionistic Arithmetic of All Finite Types.

Nicolas D. Goodman

J. Symb. Log., 1978

1976

The Theory of the Godel Functionals.

Nicolas D. Goodman

J. Symb. Log., 1976

1973

The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions.

Nicolas D. Goodman

J. Symb. Log., 1973

1972

A simplification of combinatory Logic.

Nicolas D. Goodman

J. Symb. Log., 1972