This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Comput

Foundations of Computation is a free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobar

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic constru

"The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can