This text is intended for one semester courses in Logic, it can also be applied to a two semester course, in either Computer Science or Mathematics Departments.

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The languag

The first interdisciplinary textbook to introduce students to three critical areas in applied logic Demonstrating the different roles that logic plays in the di

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