Set theory for the mathematician - Rubin, Jean E. (Holden Day, 1967)