The book is organized around the following four themes, which reflect the breadth of issues addressed in the book: * Theme 1: Epistemological issues related to proof and proving;