Steve Awodey

发表

Dana, S., H. Enderton, 1983, The Journal of Symbolic Logic.