| 1990 |
|---|
| 12 | | Nicolas D. Goodman:
Topological Models of Epistemic Set Theory.
Ann. Pure Appl. Logic 46(2): 147-167 (1990) |
| 11 | | Nicolas D. Goodman:
Mathematics and Natural Science.
J. Symb. Log. 55(1): 182-193 (1990) |
| 1988 |
|---|
| 10 | | 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): 1287-1299 (1988) |
| 1986 |
|---|
| 9 | | Nicolas D. Goodman:
Replacement and Collection: A Correction.
J. Symb. Log. 51(2): 333 (1986) |
| 8 | | Nicolas D. Goodman:
Flagg Realizability in Arithmetic.
J. Symb. Log. 51(2): 387-392 (1986) |
| 1985 |
|---|
| 7 | | Nicolas D. Goodman:
Replacement and Collection in Intuitionistic Set Theory.
J. Symb. Log. 50(2): 344-348 (1985) |
| 1984 |
|---|
| 6 | | Nicolas D. Goodman:
Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic.
J. Symb. Log. 49(1): 192-203 (1984) |
| 1978 |
|---|
| 5 | | Nicolas D. Goodman:
Relativized Realizability in Intuitionistic Arithmetic of All Finite Types.
J. Symb. Log. 43(1): 23-44 (1978) |
| 4 | | Nicolas D. Goodman:
The Nonconstructive Content of Sentences of Arithmetic.
J. Symb. Log. 43(3): 497-501 (1978) |
| 1976 |
|---|
| 3 | | Nicolas D. Goodman:
The Theory of the Godel Functionals.
J. Symb. Log. 41(3): 574-582 (1976) |
| 1973 |
|---|
| 2 | | Nicolas D. Goodman:
The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions.
J. Symb. Log. 38(3): 453-459 (1973) |
| 1972 |
|---|
| 1 | | Nicolas D. Goodman:
A simplification of combinatory Logic.
J. Symb. Log. 37(2): 225-246 (1972) |
