Formal set theory - Keene, Geoffrey Bourton (Wright, 1974)