Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - Ghosh, Sujata.; Prasad, Sanjiva. (Springer Berlin Heidelberg : Imprint: Springer, 2017)