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