TY - BOOK AU - Forster, Thomas TI - Logic, induction and sets SN - 0521533619 CY - Cambridge KW - Axiomatic set theory ER -