A logic book fundamentals of reasoning - Johnson, Robert M. (Wadsworth Pub., 1999)