H. Friedman
发表
H. Friedman,
1975
.
H. Friedman,
1980
.
H. Friedman,
Florian Pelupessy,
2015
.
H. Friedman,
Florian Pelupessy,
2015
.
H. Friedman,
A. Scedrov,
1985
.
H. Friedman,
1973
.
S. G. Simpson,
H. Friedman,
2000
.
H. Friedman,
1971
.
H. Friedman,
L. Harrington,
1985
.
Harvey M. Friedman,
H. Friedman,
A. Scedrov,
1985
.
Harvey M. Friedman,
H. Friedman,
2011
.
H. Friedman,
2012
.
H. Friedman,
2002
.
Harvey M. Friedman,
H. Friedman,
1998,
math/9811187.
H. Friedman,
O. Costin,
2014,
1401.7045.
H. Friedman,
2003
.
Stephen G. Simpson,
Kenneth McAloon,
S. G. Simpson,
1982
.
Harvey M. Friedman,
H. Friedman,
2001,
J. Comb. Theory A.
H. Friedman,
2001
.
H. Friedman,
2001
.
W. Hugh Woodin,
Harvey M. Friedman,
Michael Heller,
2011
.
H. Friedman,
2012
.
H. Friedman,
H Friedman,
Harvey Friedman,
1975,
Proceedings of the National Academy of Sciences of the United States of America.
Harvey M. Friedman,
H. Friedman,
1978
.
Harvey M. Friedman,
H. Friedman,
2009
.
H. Friedman,
2001
.
Harvey M. Friedman,
H. Friedman,
1969,
J. Symb. Log..
Harvey M. Friedman,
Lee J. Stanley,
H. Friedman,
1989,
Journal of Symbolic Logic.
H. Friedman,
2000,
Fundamenta Mathematicae.
H. Friedman,
1998,
math/9811187.
Harvey M. Friedman,
H. Friedman,
1971
.
H. Friedman,
2014
.
H. Friedman,
2002
.
H. Friedman,
1975
.
Harvey M. Friedman,
H. Friedman,
1974
.
Harvey M. Friedman,
H. Friedman,
1986
.
H. Friedman,
1983
.
Harvey M. Friedman,
Harvey M. Friedman,
H. Friedman,
1977,
Journal of Symbolic Logic.
Harvey M. Friedman,
H. Friedman,
1971
.
Harvey M. Friedman,
H. Friedman,
Ronald Jensen,
1968
.
Harvey M. Friedman,
H. Friedman,
1973
.
S. Feferman,
Harvey M. Friedman,
M. Sheard,
2010
.
H. B. Enderton,
Harvey M. Friedman,
H. Enderton,
1971
.
H. Friedman,
1976
.
H. Friedman,
O. Costin,
2014
.
Harvey M. Friedman,
H. Friedman,
1975,
Journal of Symbolic Logic.
H. Friedman,
O. Costin,
Philip Ehrlich,
2015,
1505.02478.
H. Friedman,
A. Weiermann,
2023,
Philosophical Transactions of the Royal Society A.
H. Friedman,
2001
.
Harvey M. Friedman,
H. Friedman,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Stephen G. Simpson,
S. G. Simpson,
Harvey M. Friedman,
1983,
Ann. Pure Appl. Log..
Harvey M. Friedman,
H. Friedman,
2003
.
H. Friedman,
N. Allen,
H. Friedman,
1969,
Neurology.
Murali Sitaraman,
Bruce W. Weide,
Jeremy Avigad,
2011,
Formal Aspects of Computing.
Harvey M. Friedman,
H. Friedman,
1973,
Journal of Symbolic Logic.
Harvey M. Friedman,
H. Friedman,
1971
.
H. Friedman,
1975
.
H. Friedman,
2007
.
N. Robertson,
H. Friedman,
2011
.
Harvey M. Friedman,
H. Friedman,
1981
.
H. Friedman,
Harvey Friedman,
1984
.
Harvey M. Friedman,
H. Friedman,
1977
.
Harvey M. Friedman,
H. Friedman,
1978
.
Xiaokang Yu,
Stephen G. Simpson,
S. G. Simpson,
1993,
Ann. Pure Appl. Log..
Harvey M. Friedman,
R. C. Flagg,
H. Friedman,
1986,
Ann. Pure Appl. Log..
Ker-I Ko,
Harvey M. Friedman,
K. Ko,
1982,
Theor. Comput. Sci..
Jeremy Avigad,
Harvey M. Friedman,
H. Friedman,
2006,
Log. Methods Comput. Sci..
Harvey M. Friedman,
H. Friedman,
1973
.
Harvey M. Friedman,
Michael Sheard,
H. Friedman,
1995,
Ann. Pure Appl. Log..
John R. Steel,
Solomon Feferman,
Penelope Maddy,
2000,
Bulletin of Symbolic Logic.
H. Friedman,
Florian Pelupessy,
2013
.
Harvey M. Friedman,
R. C. Flagg,
H. Friedman,
1987,
Ann. Pure Appl. Log..
Andre Scedrov,
Harvey M. Friedman,
H. Friedman,
1984,
Ann. Pure Appl. Log..
Harvey M. Friedman,
H. Friedman,
1980
.