Set Theory with a Universal Set: Exploring an Untyped Universe (Oxford Logic Guides) 1995 · ENGLISH · DJVU View details →