dblp.uni-trier.dewww.uni-trier.de

Nicolas D. Goodman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1Harold T. Hodes [10]
2Carl G. Jockusch Jr. [10]
3Kenneth McAloon [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)