Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings - Khan, Aquil; Manuel, Amaldev (Springer Nature, 2019)
Keywords: Logic, Symbolic and mathematical-Congresses; Mathematics. General principles