Logics for Computer and Data Sciences, and Artificial IntelligenceLech T. Polkowski · First published 2022Open the Tome