Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings - Khan, Md. Aquil; Khan, Md. Aquil; Manuel, Amaldev; Manuel, Amaldev (Springer Berlin Heidelberg : Imprint: Springer, 2019)