John Pas

发表

John Pas, J. Pas, 1990, Journal of Symbolic Logic.