SEM 4_10_BA-BSc_GENERAL_MATHEMATICS_SEC-B_MATHEMATICAL LOGIC