Error Logic - Liu, Shiyong; Guo, Kaizhong (Cham Springer International Publishing AG, 2023)