This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author

This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chap

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

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary languag

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by