Logic by way of set theory - Ehilers Henry (N.Y Holt Rinehart and Winston, 1968)