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