Fundamentals of Logic and Computation - Zhe Hou (Springer, 2021)