Logic and Its Applications - Banerjee (Springer Berlin Heidelberg, 2015)