Tarkasamgraha of Annambhatta with Dipika and Nyayabodhini, edited with notes, etc. by Yashwant Vasudev Athalye and an introduction and English translation by Mahadev Rajaram Bodas