Modern approach to logical reasoning - Agarwal, R. S.