Logics for computer and data sciences, and artificial intelligence - Polkowski, Lech T. (Springer, 2022)