Highest set theory. - Muller G H Ed.; Scott D S Ed. (1978)