Introduction to symbolic logic - Carney, James Donald (Prentice-Hall, 1970)