Set theory with a universal set. Exploring an untyped universe. 2nd ed. (English) Zbl 0831.03027
Oxford Logic Guides. 31. Oxford: Clarendon Press. x, 166 p. (1995).
Reviewer: N.H.Williams (Brisbane)