Tarkabhāṣā of Keśavamiśra ; edited with an introd., translation into English and notes, explanatory and critical