Goranko, Valentin Logic as a Tool: A Guide to Formal Logical Reasoning