Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings - Banerjee, Mohua; Krishna, Shankara Narayanan (Springer Berlin Heidelberg : Imprint: Springer, 2015)