Nicolas D. Goodman

Publication Activity (10 Years)

Years Active: 1972-1991
Publications (10 Years): 0

Publications

Nicolas D. Goodman, Stephen W. Smoliar, Morton L. Schagrin
Book reviews. Minds Mach. 1 (1) (1991)
Nicolas D. Goodman
Topological Models of Epistemic Set Theory. Ann. Pure Appl. Log. 46 (2) (1990)
Nicolas D. Goodman
Mathematics and Natural Science. J. Symb. Log. 55 (1) (1990)
Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. J. Symb. Log. 53 (4) (1988)
Nicolas D. Goodman
Intensions, Church's thesis, and the formalization of mathematics. Notre Dame J. Formal Log. 28 (4) (1987)
Nicolas D. Goodman
Replacement and Collection: A Correction. J. Symb. Log. 51 (2) (1986)
Nicolas D. Goodman
Flagg Realizability in Arithmetic. J. Symb. Log. 51 (2) (1986)
Nicolas D. Goodman
Replacement and Collection in Intuitionistic Set Theory. J. Symb. Log. 50 (2) (1985)
Nicolas D. Goodman
Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic. J. Symb. Log. 49 (1) (1984)
Nicolas D. Goodman
The Logic of Contradiction. Math. Log. Q. 27 (8-10) (1981)
Nicolas D. Goodman
Relativized Realizability in Intuitionistic Arithmetic of All Finite Types. J. Symb. Log. 43 (1) (1978)
Nicolas D. Goodman
The Nonconstructive Content of Sentences of Arithmetic. J. Symb. Log. 43 (3) (1978)
Nicolas D. Goodman
The Theory of the Godel Functionals. J. Symb. Log. 41 (3) (1976)
Nicolas D. Goodman
The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions. J. Symb. Log. 38 (3) (1973)
Nicolas D. Goodman
A simplification of combinatory Logic. J. Symb. Log. 37 (2) (1972)