Logic and Its Applications - Ghosh (Springer Berlin Heidelberg, 2017)