A concise logic - Halverson, William H. (Random House, 1984)