Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools