Exercises in symbolic logic : a guide book - Mitra, Kumar. (Progressive Publishers, 2000)