An introduction to logic - Mitchell, David (Hutchinson University Library, 1962)