Axiomatic set theory. - Bernays, Paul; Fraenkel, Abraham A.; Brouwer, L. E. J.; Heyting, Arend (North-Holland Publishing Company, 1958)