R. de Vrijer

发表

R. de Vrijer, 1985, Journal of Symbolic Logic.