Modern approaches to logical reasoning - Aggarwal, R S (New Delhi S Chand, 2013)