Introduction to logic and sets - Christian, Robert R (Waltham Blaisdell, 1965)