Elementary logic - Simco, Nancy D. (Wadsworth, 1983)