Harvey M. Friedman
According to our database^{1},
Harvey M. Friedman
authored at least 42 papers
between 1969 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on id.loc.gov

on dnb.info
On csauthors.net:
Bibliography
2018
ACM SIGSOFT Softw. Eng. Notes, 2018
2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
2014
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
2011
Formal Aspects Comput., 2011
2010
J. Symb. Log., 2010
2008
CoRR, 2008
Ann. Pure Appl. Log., 2008
2006
Log. Methods Comput. Sci., 2006
2005
J. Symb. Log., 2005
2003
J. Math. Log., 2003
2001
J. Comb. Theory, Ser. A, 2001
Ann. Pure Appl. Log., 2001
2000
Bull. Symb. Log., 2000
1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
1995
Ann. Pure Appl. Log., 1995
1993
Ann. Pure Appl. Log., 1993
1992
J. Symb. Log., 1992
1991
Ann. Pure Appl. Log., 1991
1990
Ann. Pure Appl. Log., 1990
1989
J. Symb. Log., 1989
J. Symb. Log., 1989
1988
Ann. Pure Appl. Log., 1988
1987
Ann. Pure Appl. Log., 1987
Ann. Pure Appl. Log., 1987
Ann. Pure Appl. Log., 1987
1986
Ann. Pure Appl. Log., 1986
Ann. Pure Appl. Log., 1986
1985
Ann. Pure Appl. Log., 1985
1984
Inf. Control., 1984
Ann. Pure Appl. Log., 1984
1983
Ann. Pure Appl. Log., 1983
Ann. Pure Appl. Log., 1983
1982
Theor. Comput. Sci., 1982
1977
J. Symb. Log., 1977
1976
J. Symb. Log., 1976
1975
Math. Log. Q., 1975
J. Symb. Log., 1975
1974
J. Symb. Log., 1974
J. Symb. Log., 1974
1973
J. Symb. Log., 1973
The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic.
J. Symb. Log., 1973
1969
J. Symb. Log., 1969