F. J. M. Laver
发表
F. J. M. Laver,
1976
.
F. J. M. Laver,
1979
.
F. J. M. Laver,
1970,
Comput. J..
F. J. M. Laver,
1968,
Comput. J..
F. J. M. Laver,
1975
.
F. J. M. Laver,
1973
.
F. J. M. Laver,
1964,
Comput. J..
F. J. M. Laver,
F. Laver,
1989
.