Logic and Its Applications - Md. Aquil Khan, Amaldev Manuel (Springer, 2019)