Designed primarily as an introductory text on logic for computer science, this book deals with the basic concepts and techniques that are pertinent to the subject. It provides an excellent understanding of the logics used in computer science today.