An Introduction to Logic - Mitchell, David (Hutchinson University)