Logic and Its Applications - Khan; Manuel, Amaldev (Springer Berlin Heidelberg, 2019)