Logic For Learning by John W Lloyd