This book presents five tutorial-style lectures on various approaches to the problem of verifying...

Introduction.- Part I: Mathematics for Computer Science.- Propositional Logic.- Sets.- Boolean Al...