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