Mariagnese Giusto
发表
Stephen G. Simpson,
S. G. Simpson,
Mariagnese Giusto,
2002,
Arch. Math. Log..
Stephen G. Simpson,
S. G. Simpson,
Mariagnese Giusto,
2000,
Journal of Symbolic Logic.