Logic by way of set theory - Ehlers, Henry (Holt, Rinehart and Winston, 1968)