Exercises in symbolic logic - Mitra, Kumar (Progressive Pub., 2000)