M. R. Holmes
发表
M. R. Holmes,
1991
.
M. R. Holmes,
2015,
1503.01406.
M. R. Holmes,
2005
.
M. R. Holmes,
2001
.
M. R. Holmes,
2022
.
M. R. Holmes,
2015
.
M. R. Holmes,
2014
.
M. R. Holmes,
2017
.
M. R. Holmes,
2017
.
M. R. Holmes,
2016
.
M. R. Holmes,
2015
.
M. R. Holmes,
2022
.
Chung L. Huang,
J. Epperson,
M. R. Holmes,
1980
.
Dov M. Gabbay,
Akihiro Kanamori,
John Woods,
2012,
Sets and Extensions in the Twentieth Century.
M. R. Holmes,
2018,
Journal of Philosophical Logic.
M. R. Holmes,
2017
.
M. R. Holmes,
2017
.
M. R. Holmes,
1992
.
M. R. Holmes,
1951,
The Antiquaries Journal.
M. Randall Holmes,
M. R. Holmes,
1995,
International Conference on Rewriting Techniques and Applications.
M. Randall Holmes,
M. R. Holmes,
1991,
Ann. Pure Appl. Log..
Chung L. Huang,
James F. Epperson,
M. R. Holmes,
1980
.
M. Randall Holmes,
M. R. Holmes,
2008,
Stud Logica.
M. R. Holmes,
2020
.
M. Randall Holmes,
M. R. Holmes,
2012,
Notre Dame J. Formal Log..