TY - BOOK AU - Takeuti G AU - Zaring W M TI - Introduction to axiomatic set theory U1 - BX, L3 ER -