Logic and Its Applications - Sujata Ghosh, Sanjiva Prasad (Springer, 2017)