Logics for Computer and Data Sciences, and Artificial Intelligence - Lech T. Polkowski (Springer, 2022)