Essential Logic for Computer Science - Rex Page, Ruben Gamboa

An introduction to applying predicate logic to testing and verification of software and digital…