Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings - Lodaya, Kamal (Springer Berlin Heidelberg : Imprint: Springer, 2013)