John Denton
发表
James Jacob,
Jeffrey Richardson,
John Denton,
2006
.
John Denton,
Burton Dreben,
B. Dreben,
1966,
Journal of Symbolic Logic.