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