Axiomatic set theory - Bernays, Paul 1888- (North-Holland, 1968)