Set Theory with a universal set : - Forster, T. E. (Oxford logic guides ;, 1995)