%0 Book %A Augusto, Luis M. %D 2022 %I College Publications %T Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.