Negation in intuitionistic logic and navya nyaya - Bani Sengupta (Kolkata: Radha Publication, 2001)