Invitation to symbolic logic - Balasubramanian, P (Sri Ramakrishna Mission, 1977)