K. Copestake
发表
Kate Copestake,
K. Copestake,
1997,
Math. Log. Q..
Kate Copestake,
K. Copestake,
1988,
Journal of Symbolic Logic.