Error Logic - Liu, Shiyong. (Springer International Publishing AG, 2023)