Logic : The 2nd Revised, Modified, and Enlarged Edition of Logics for Computer and Data Sciences, and Artificial Intelligence - Polkowski, Lech T. (Springer, 2023)