Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings - Banerjee, Mohua; Seth, Anil (Springer Berlin Heidelberg, 2011)