W. Frank

发表

John Corcoran, William Frank, Michael Maloney, 1974, Journal of Symbolic Logic.