Introduction to axiomatic set theory. - Takeuti G; Zaring W M