Introduction to logic - Carlsen-Jones, Michael T. (McGraw-Hill, 1983)