Propositional, Probabilistic and Evidential Reasoning by Weiru Liu