Logic Theory and Practice by M. K. Rennie