Nicolas D. Goodman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

1991

Book reviewsNicolas D. Goodman, Stephen W. Smoliar, Morton L. Schagrin. mima, 1(1):117-124, 1991. [doi]

1990

Mathematics and Natural ScienceNicolas D. Goodman. JSYML, 55(1):182-193, 1990.

Topological Models of Epistemic Set TheoryNicolas D. Goodman. APAL, 46(2):147-167, 1990.

1988

Annual Meeting of the Association for Symbolic Logic, New York City, December 1987Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon. JSYML, 53(4):1287-1299, 1988.

1987

Intensions, Church's thesis, and the formalization of mathematicsNicolas D. Goodman. ndjfl, 28(4):473-489, 1987. [doi]

1986

Replacement and Collection: A CorrectionNicolas D. Goodman. JSYML, 51(2):333, 1986.

Flagg Realizability in ArithmeticNicolas D. Goodman. JSYML, 51(2):387-392, 1986.

1985

Replacement and Collection in Intuitionistic Set TheoryNicolas D. Goodman. JSYML, 50(2):344-348, 1985.

1984

Epistemic Arithmetic is a Conservative Extension of Intuitionistic ArithmeticNicolas D. Goodman. JSYML, 49(1):192-203, 1984.

1981

The Logic of ContradictionNicolas D. Goodman. mlq, 27(8-10):119-126, 1981. [doi]

1978

The Nonconstructive Content of Sentences of ArithmeticNicolas D. Goodman. JSYML, 43(3):497-501, 1978.

Relativized Realizability in Intuitionistic Arithmetic of All Finite TypesNicolas D. Goodman. JSYML, 43(1):23-44, 1978.

1976

The Theory of the Godel FunctionalsNicolas D. Goodman. JSYML, 41(3):574-582, 1976.

1973

The Faithfulness of the Interpretation of Arithmetic in the Theory of ConstructionsNicolas D. Goodman. JSYML, 38(3):453-459, 1973.

1972

A simplification of combinatory LogicNicolas D. Goodman. JSYML, 37(2):225-246, 1972.

Sign in or sign up to see more results.

runs on WebDSL