Set theory with a universal set : exploring an untyped universe - Forster T E (Calcutta Clarendon Press, 1995)
Keywords: Set theory; Universal set