The art of reasoning : with symbolic logic - Kelley, David (W. W. Norton & Company, 1990)