types of proof systems, with a focus on the practical aspects of proof methods. The book