Logic and Learning by John Lloyd & J.W. Lloyd