Logic and Its Applications - Banerjee; S., Krishna (Springer Berlin Heidelberg, 2015)